A New Approach to Database Logic.

@inproceedings{DBLP:conf/pods/KuperV84,
  author    = {Gabriel M. Kuper and
               Moshe Y. Vardi},
  title     = {A New Approach to Database Logic},
  booktitle = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles
               of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {ACM},
  year      = {1984},
  isbn      = {0-89791-128-8},
  pages     = {86-96},
  ee        = {http://doi.acm.org/10.1145/588011.588026, db/conf/pods/KuperV84.html},
  crossref  = {DBLP:conf/pods/84},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1984 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

• 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
• UNIX/LINUX/Mac: use mount point /pods8298/... 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
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[C1]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) BibTeX

[C2]

E. F. Codd: Extending the Database Relational Model to Capture More Meaning. ACM Trans. Database Syst. 4(4): 397-434(1979) BibTeX

[HM]

Michael Hammer, Dennis McLeod: Database Description with SDM: A Semantic Database Model. ACM Trans. Database Syst. 6(3): 351-386(1981) BibTeX

[HY]

Richard Hull, Chee-Keng Yap: The Format Model: A Theory of database Organization. J. ACM 31(3): 518-544(1984) BibTeX

[J]

Barry E. Jacobs: On Database Logic. J. ACM 29(2): 310-332(1982) BibTeX

[SmSm]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX

[TL]

...

[U]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[V]

...

Referenced by

1. Serge Abiteboul, Catriel Beeri: The Power of Languages for the Manipulation of Complex Values. VLDB J. 4(4): 727-794(1995)
2. Mark Levene, George Loizou: A Graph-Based Data Model and its Ramifications. IEEE Trans. Knowl. Data Eng. 7(5): 809-823(1995)
3. Vladimir Yu. Sazonov, Alexei Lisitsa: Delta-Languages for Sets and sub-PTIME Graphs Transformers. ICDT 1995: 125-138
4. Martin Gogolla: A Declarative Query Approach to Object Identification. OOER 1995: 65-76
5. Tarik Beldjilali, Haider Hamza: Specialization and Generalization in an Object Oriented Database. ADBIS 1995: 220-234
6. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
   Contents
7. Val Tannen: Tutorial: Languages for Collection Types. PODS 1994: 150-154
8. Gabriel M. Kuper, Moshe Y. Vardi: The Logical Data Model. ACM Trans. Database Syst. 18(3): 379-413(1993)
9. Jan Van den Bussche, Dirk Van Gucht: Semi-determinism. PODS 1992: 191-201
10. Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15
11. Jan Van den Bussche, Dirk Van Gucht: A Hierarchy of Faithful Set Creation in Pure OODB's. ICDT 1992: 326-340
12. Rudolf Herzig, Martin Gogolla: Transforming Conceptual Data Models into an Object Model. ER 1992: 280-298
13. Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)
14. Michael Kifer: A First-Order Formalism of Object-Oriented Languages. IEEE Data Eng. Bull. 14(2): 13-17(1991)
15. Serge Abiteboul, Paris C. Kanellakis: The Two Facets of Object-Oriented Data Models. IEEE Data Eng. Bull. 14(2): 3-7(1991)
16. Kumar V. Vadaparty: On the Power of Rule-Based Languages with Sets. PODS 1991: 26-36
17. Richard Hull, Masatoshi Yoshikawa: On the Equivalence of Database Restructurings Involving Object Identifiers. PODS 1991: 328-340
18. Stéphane Grumbach, Victor Vianu: Tractable Query Languages for Complex Object Databases. PODS 1991: 315-327
19. Jan Van den Bussche, Jan Paredaens: The Expressive Power of Structured Values in Pure OODB's. PODS 1991: 291-299
20. Stéphane Grumbach, Victor Vianu: Expressiveness and Complexity of Restricted Languages for Complex Objects. DBPL 1991: 111-122
21. Paolo Atzeni, Riccardo Torlone: Management of Multiple Models: A Metamodel for Conceptual Models. DBPL 1991: 169-181
22. Richard Hull, Masatoshi Yoshikawa: ILOG: Declarative Creation and Manipulation of Object Identifiers. VLDB 1990: 455-468
23. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto Zicari: Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. SIGMOD Conference 1990: 225-236
24. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Graph-Oriented Object Database Model. PODS 1990: 417-424
25. Atsushi Ohori: Representing Object Identity in a Pure Functional Language. ICDT 1990: 41-55
26. Stéphane Grumbach, Victor Vianu: Playing Games with Objects. ICDT 1990: 25-38
27. Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe: Abstraction of Object-Oriented Data Models. ER 1990: 81-94
28. Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146
29. Marc Gyssens, Jan Paredaens, Dirk Van Gucht: A Grammar-Based Approach Towards Unifying Hierarchical Data Models (Extended Abstract). SIGMOD Conference 1989: 263-272
30. Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173
31. Christophe Lécluse, Philippe Richard: Modeling Complex Structures in Object-Oriented Databases. PODS 1989: 360-368
32. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
33. Richard Hull, Jianwen Su: Untyped Sets, Invention, and Computable Queries. PODS 1989: 347-359
34. Weidong Chen, David Scott Warren: C-Logic of Complex Objects. PODS 1989: 369-378
35. Christine Parent, Hélène Rolin, Kokou Yétongnon, Stefano Spaccapietra: An ER Calculus for the Entity-Relationship Complex Model. ER 1989: 361-384
36. Sanjay Manchanda: "Higher-Order" Logic As a Data Model. DBPL 1989: 330-341
37. Richard Hull, Jianwen Su: On Bulk Data type Constructors and Manipulation Primitives: A Framework for Analyzing Power and Complexity. DBPL 1989: 396-410
38. Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329
39. Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
    Contents
40. 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)
41. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433
42. 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
43. Oded Shmueli, Shalom Tsur, Carlo Zaniolo: Rewriting of Rules Containing Set Terms in a Logic Data Model (LDL). PODS 1988: 15-28
44. Richard Hull, Jianwen Su: On the Expressive Power of Database Queries with Intermediate Types. PODS 1988: 39-51
45. Gabriel M. Kuper, Moshe Y. Vardi: On the Complexity of Queries in the Logical Data Model (Extended Abstract). ICDT 1988: 267-280
46. Catriel Beeri: Data Models and Languages for Databases. ICDT 1988: 19-40
47. Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. EDBT 1988: 556-562
48. Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293
49. Richard Hull, Roger King: Semantic Database Modeling: Survey, Applications, and Research Issues. ACM Comput. Surv. 19(3): 201-260(1987)
50. François Bancilhon, Ted Briggs, Setrag Khoshafian, Patrick Valduriez: FAD, a Powerful and Simple Database Language. VLDB 1987: 97-105
51. Gabriel M. Kuper: Logic Programming With Sets. PODS 1987: 11-20
52. Dirk Van Gucht: On the Expressive Power of the Extended Relational Algebra for the Unnormalized Relational Model. PODS 1987: 302-312
53. Christophe Lécluse, Philippe Richard, Fernando Vélez: O₂, an Object-Oriented Data Model. DBPL 1987: 257-276
54. Setrag Khoshafian, Patrick Valduriez: Sharing, Persistence, and Object-Orientation: A Database Perspective. DBPL 1987: 221-240
55. Dirk Van Gucht, Patrick C. Fischer: Some Classes of Multilevel Relational Structures. PODS 1986: 60-69
56. Gabriel M. Kuper, Moshe Y. Vardi: On the Expressive Power of the Logical Data Model (Preliminary Report). SIGMOD Conference 1985: 180-187