Search dblp for Publications

export results for "stream:streams/conf/xp:"

 download as .bib file

@inproceedings{DBLP:conf/xp/BancilhonBKR86,
  author    = {Fran{\c{c}}ois Bancilhon and
               Catriel Beeri and
               Paris C. Kanellakis and
               Raghu Ramakrishnan},
  editor    = {Henry F. Korth},
  title     = {Pushing Selections into Logic Programs},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/BancilhonBKR86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/BanerjeeKKK86,
  author    = {Jay Banerjee and
               Hyoung{-}Joo Kim and
               Won Kim and
               Henry F. Korth},
  editor    = {Henry F. Korth},
  title     = {Schema Evolution in Object-Oriented Persistent Databases},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Wed, 28 Mar 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/BanerjeeKKK86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/DongG86,
  author    = {Guozhu Dong and
               Seymour Ginsburg},
  editor    = {Henry F. Korth},
  title     = {Localizable Constraints for Object Histories},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/DongG86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GinsburgT86,
  author    = {Seymour Ginsburg and
               Chang{-}jie Tang},
  editor    = {Henry F. Korth},
  title     = {Cohesion of Object Histories},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/GinsburgT86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GuchtF86,
  author    = {Dirk Van Gucht and
               Patrick C. Fischer},
  editor    = {Henry F. Korth},
  title     = {High Level Data Manipulation Languages for Unnormalized Relational
               Database Models},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/GuchtF86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Hull86,
  author    = {Richard Hull},
  editor    = {Henry F. Korth},
  title     = {A Survey of Theoretical Research on Typed Complex Database Objects},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Hull86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/KiferL86,
  author    = {Michael Kifer and
               Eliezer L. Lozinskii},
  editor    = {Henry F. Korth},
  title     = {Can We Implement Logic as a Database System?},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/KiferL86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Korth86,
  author    = {Henry F. Korth},
  editor    = {Henry F. Korth},
  title     = {Non-First-Normal-Form Relations Theory and Applications},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Korth86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/KrishnamurthyZ86,
  author    = {Ravi Krishnamurthy and
               Carlo Zaniolo},
  editor    = {Henry F. Korth},
  title     = {Safety and Optimization of Horn Clause Queries},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/KrishnamurthyZ86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Kuper86,
  author    = {Gabriel M. Kuper},
  editor    = {Henry F. Korth},
  title     = {Logic Programming with Sets},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Kuper86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Maier86,
  author    = {David Maier},
  editor    = {Henry F. Korth},
  title     = {Why Object-Oriented Databases Can Succeed Where Others Have Failed},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Maier86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/MaierSOP86,
  author    = {David Maier and
               Jacob Stein and
               Allen Otis and
               Alan Purdy},
  editor    = {Henry F. Korth},
  title     = {Development of an Object-Oriented {DBMS}},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/MaierSOP86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/MinskyR86,
  author    = {Naftaly H. Minsky and
               David Rozenshtein},
  editor    = {Henry F. Korth},
  title     = {Towards Controlling the Evolution of Large Software Systems or The
               {DARWIN} System},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/MinskyR86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Naqvi86,
  author    = {Shamim A. Naqvi},
  editor    = {Henry F. Korth},
  title     = {A Logic for Negation in Database Systems},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Naqvi86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Naughton86,
  author    = {Jeffrey F. Naughton},
  editor    = {Henry F. Korth},
  title     = {One-Sided Recursions},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Naughton86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Ness86,
  author    = {Linda A. Ness},
  editor    = {Henry F. Korth},
  title     = {Reducing Linear Recursive Relations to Transitive Closure},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Ness86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/NguyenP86,
  author    = {Van Nguyen and
               Kenneth J. Perry},
  editor    = {Henry F. Korth},
  title     = {Do We Really Know What Knowledge Is?},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/NguyenP86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/OzsoyogluY86,
  author    = {Z. Meral {\"{O}}zsoyoglu and
               Li{-}Yan Yuan},
  editor    = {Henry F. Korth},
  title     = {Notions of Dependency Preservation for Nested Relations},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/OzsoyogluY86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/RamakrishnanBS86,
  author    = {Raghu Ramakrishnan and
               Fran{\c{c}}ois Bancilhon and
               Abraham Silberschatz},
  editor    = {Henry F. Korth},
  title     = {Safety of Recursive Horn Clauses With Function Symbols},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/RamakrishnanBS86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Riche86,
  author    = {Naphtali Rishe},
  editor    = {Henry F. Korth},
  title     = {The Expressiveness of Logic-based Database Query Languages},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Riche86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Sagiv86,
  author    = {Yehoshua Sagiv},
  editor    = {Henry F. Korth},
  title     = {Optimizing Datalog Programs},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Sagiv86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Shmueli86,
  author    = {Oded Shmueli},
  editor    = {Henry F. Korth},
  title     = {Decidability and Expressiveness Aspects of Logic Queries},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Shmueli86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/X86,
  editor    = {Henry F. Korth},
  title     = {Title, Foreword, Program},
  booktitle = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/X86.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/xp/1986,
  editor    = {Henry F. Korth},
  title     = {{XP} / 7.52 Workshop on Database Theory, University of Texas at Austin,
               TX, USA, August 13-15, 1986},
  year      = {1986},
  timestamp = {Tue, 18 Sep 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/1986.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/CeriGP83,
  author    = {Stefano Ceri and
               Georg Gottlob and
               Giuseppe Pelagatti},
  title     = {Joining Fragmented Relations in Distributed Databases},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/CeriGP83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/CosmadakisK83,
  author    = {Stavros S. Cosmadakis and
               Paris C. Kanellakis},
  title     = {Functional and Inclusion Dependencies},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/CosmadakisK83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Imielinski83,
  author    = {Tomasz Imielinski},
  title     = {Updates in Logical Databases},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Imielinski83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Maier83,
  author    = {David Maier},
  title     = {Is Prolog a Database Language?},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Maier83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Sciore83,
  author    = {Edward Sciore},
  title     = {Prolog From a Database Point of View},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Sciore83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Shmueli83,
  author    = {Oded Shmueli},
  title     = {Dynamic View Maintenance},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Shmueli83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Vardi83,
  author    = {Moshe Y. Vardi},
  title     = {Second-Order Dependency Theory},
  booktitle = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Vardi83.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/xp/1983,
  title     = {{XP4.5} Workshop on Database Theory, 1983 Palo Alto, California, {USA}},
  year      = {1983},
  timestamp = {Tue, 18 Sep 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/1983.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/AtzeniP81,
  author    = {Paolo Atzeni and
               Douglas Stott Parker Jr.},
  title     = {Properties of acyclic database schemes: an analysis},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/AtzeniP81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Biskup81,
  author    = {Joachim Biskup},
  title     = {A Foundation of Codd's Relational Maybe-Operations},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Biskup81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Chase81,
  author    = {Karen Chase},
  title     = {Join Graphs and Acyclic Hypergraphs},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Chase81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/CliffordW81,
  author    = {James Clifford and
               David Scott Warren},
  title     = {Formal Semantics for Time in Databases},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/CliffordW81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ConnorsV81,
  author    = {Tim Connors and
               Victor Vianu},
  title     = {Tableaux which Define Expression Mappings},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/ConnorsV81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/DearholtV81,
  author    = {Donald W. Dearholt and
               G. Valdes},
  title     = {A Data Abstraction for Sequential Phenomena},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/DearholtV81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/FischerJT81,
  author    = {Patrick C. Fischer and
               Jiann H. Jou and
               Don{-}Min Tsou},
  title     = {Succinctness in Dependency Systems},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/FischerJT81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GinsburgH81,
  author    = {Seymour Ginsburg and
               Richard Hull},
  title     = {Characterization for Functional Dependency and Boyce-Codd Normal Form
               Databases},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/GinsburgH81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GinsburgH81a,
  author    = {Seymour Ginsburg and
               Richard Hull},
  title     = {Ordered Attribute Domains in the Relational Model},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Mon, 13 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/GinsburgH81a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Goldstein81,
  author    = {Billie S. Goldstein},
  title     = {Constraining Values in a Relational Database},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Goldstein81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GoodmanS81,
  author    = {Nathan Goodman and
               Oded Shmueli},
  title     = {Hierarchies of Database State Reductions},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/GoodmanS81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GoodmanS81a,
  author    = {Nathan Goodman and
               Oded Shmueli},
  title     = {Syntactic Characterizations of Tree Database Schemas},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/GoodmanS81a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Graham81,
  author    = {Marc H. Graham},
  title     = {Independence (Preliminary Report)},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Graham81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/GrantM81,
  author    = {John Grant and
               Jack Minker},
  title     = {Numerical Dependencies},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/GrantM81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Hull81,
  author    = {Richard Hull},
  title     = {Acyclic Join Dependency and Database Projections},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Sat, 11 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Hull81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/KandziaM81,
  author    = {Peter Kandzia and
               Margret Mangelmann},
  title     = {The Use of Transitively Irreducible Kernels of Full Families of Functional
               Dependencies in Logical Data Base Design},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/KandziaM81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Klug81,
  author    = {Anthony C. Klug},
  title     = {Some Recent Work on Tableaux},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Klug81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Korth81,
  author    = {Henry F. Korth},
  title     = {System/U: {A} Progress Report},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Korth81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/MaierU81,
  author    = {David Maier and
               Jeffrey D. Ullman},
  title     = {Connections in Acyclic Hypergraphs},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/MaierU81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/MaierU81a,
  author    = {David Maier and
               Jeffrey D. Ullman},
  title     = {Fragments of Relations: First Hack},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/MaierU81a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Mendelzon81,
  author    = {Alberto O. Mendelzon},
  title     = {Database States and Their Tableaux},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Mendelzon81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ParedaensB81,
  author    = {Jan Paredaens and
               Paul De Bra},
  title     = {On Horizontal Decompositions},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/ParedaensB81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Steiner81,
  author    = {Heinz{-}Gerd Steiner},
  title     = {Functional Flow Graphs},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/Steiner81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/X81,
  title     = {Program},
  booktitle = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 21:20:39 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/X81.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/xp/1981,
  title     = {{XP2} Workshop on Relational Database Theory, June 22-24 1981, The
               Pennsylvania State University, PA, {USA}},
  year      = {1981},
  timestamp = {Tue, 18 Sep 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/xp/1981.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/BeeriV80,
  author    = {Catriel Beeri and
               Moshe Y. Vardi},
  editor    = {David Maier},
  title     = {Decision Problems for Data Dependencies},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/BeeriV80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraH80,
  author    = {Ashok K. Chandra and
               David Harel},
  editor    = {David Maier},
  title     = {Structure and Complexity of Relational Queries},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/ChandraH80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/ChandraLM80,
  author    = {Ashok K. Chandra and
               Harry R. Lewis and
               Johann A. Makowsky},
  editor    = {David Maier},
  title     = {Embedded Implicational Dependencies and their Inference Problem},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/ChandraLM80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Graham80,
  author    = {Marc H. Graham},
  editor    = {David Maier},
  title     = {A New Proof that the Chase is a Church-Rosser Replacement System},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Graham80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Heller80,
  author    = {Jack Heller},
  editor    = {David Maier},
  title     = {The Abstract Data Types Used in the {GRIPHOS} Database System},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Heller80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Honeyman80,
  author    = {Peter Honeyman},
  editor    = {David Maier},
  title     = {Losslessly Joining Relations in Polynomial Time},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Honeyman80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Honeyman80a,
  author    = {Peter Honeyman},
  editor    = {David Maier},
  title     = {Testing Satisfaction of Functional Dependencies},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Honeyman80a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Jacobs80,
  author    = {Barry E. Jacobs},
  editor    = {David Maier},
  title     = {A Generalized Algebraic Data Manipulation Language and the Automatic
               Conversion of its Programs},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Jacobs80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/KorthU80,
  author    = {Henry F. Korth and
               Jeffrey D. Ullman},
  editor    = {David Maier},
  title     = {System/U: {A} Database System Based on the Universal Relation Assumption},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/KorthU80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Maier80,
  author    = {David Maier},
  editor    = {David Maier},
  title     = {Discarding the Universal Instance Assumption: Preliminary Results},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Maier80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Sciore80,
  author    = {Edward Sciore},
  editor    = {David Maier},
  title     = {Some Observations on Real-World Data Dependencies},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Sciore80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Ullman80,
  author    = {Jeffrey D. Ullman},
  editor    = {David Maier},
  title     = {Universal Instances},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Ullman80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Vassiliou80,
  author    = {Yannis Vassiliou},
  editor    = {David Maier},
  title     = {Testing Satisfaction of FDs on a Multi-Relation Database "fast"},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Vassiliou80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/Walker80,
  author    = {Adrian Walker},
  editor    = {David Maier},
  title     = {Time and Space in a Lattice of Universal Relations with Blank Entries},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/Walker80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/xp/X80,
  editor    = {David Maier},
  title     = {Title, Foreword},
  booktitle = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 14:40:12 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/X80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/xp/1980,
  editor    = {David Maier},
  title     = {{XP1} Workshop on Relational Database Theory, 30 June - 2 July 1980,
               {SUNY} at Stony Brook, NY, {USA}},
  year      = {1980},
  timestamp = {Sun, 05 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/xp/1980.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics