Specifying Operations for Nested Relations by Rules and Partial Orders.

@inproceedings{DBLP:conf/mfdbs/Sander91,
  author    = {Peter Sander},
  editor    = {Bernhard Thalheim and
               J{\'a}nos Demetrovics and
               Hans-Detlef Gerhardt},
  title     = {Specifying Operations for Nested Relations by Rules and Partial
               Orders},
  booktitle = {MFDBS 91, 3rd Symposium on Mathematical Fundamentals of Database
               and Knowledge Bases Systems, Rostock, Germany, May 6-9, 1991,
               Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {495},
  year      = {1991},
  isbn      = {3-540-54009-1},
  pages     = {44-58},
  ee        = {db/conf/mfdbs/Sander91.html},
  crossref  = {DBLP:conf/mfdbs/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[AbB88]

Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995) BibTeX

[AbG87]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. DBPL 1987: 347-374 BibTeX

[ABW88]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[BaK89]

François Bancilhon, Setrag Khoshafian: A Calculus for Complex Objects. J. Comput. Syst. Sci. 38(2): 326-340(1989) BibTeX

[Bee88]

Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40 BibTeX

[BeK90]

Catriel Beeri, Yoram Kornatzky: The Many Faces of Query Monotonicity. EDBT 1990: 120-135 BibTeX

[BNR87]

Catriel Beeri, Shamim A. Naqvi, Raghu Ramakrishnan, Oded Shmueli, Shalom Tsur: Sets and Negation in a Logic Database Language (LDL1). PODS 1987: 21-37 BibTeX

[ChC89]

Qiming Chen, Wesley W. Chu: HILOG: A High-Order Logic Programming Language for Non-1NF Deductive Databases. DOOD 1989: 431-452 BibTeX

[CKW89]

Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329 BibTeX

[GvG88]

Marc Gyssens, Dirk Van Gucht: The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra. SIGMOD Conference 1988: 225-232 BibTeX

[Her 67]

...

[HuS89]

Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359 BibTeX

[KiW89]

Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393 BibTeX

[Kup87]

Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20 BibTeX

[Kup88]

Gabriel M. Kuper: On the Expressive Power of Logic Programming Languages with Sets. PODS 1988: 10-14 BibTeX

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[RKS88]

Mark A. Roth, Henry F. Korth, Abraham Silberschatz: Extended Algebra and Calculus for Nested Relational Databases. ACM Trans. Database Syst. 13(4): 389-417(1988) BibTeX

[San90]

Peter Sander: Boolean lattices of nested relations as a foundation for rule-based database languages. Data Knowl. Eng. 8: 93-130(1992) BibTeX

[Scs86]

Hans-Jörg Schek, Marc H. Scholl: The relational model with relation-valued attributes. Inf. Syst. 11(2): 137-147(1986) BibTeX

[Tar55]

...

[Ull88]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[vEK76]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX