Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm.

@inproceedings{DBLP:conf/sigmod/CacaceCCTZ90,
  author    = {Filippo Cacace and
               Stefano Ceri and
               Stefano Crespi-Reghizzi and
               Letizia Tanca and
               Roberto Zicari},
  editor    = {Hector Garcia-Molina and
               H. V. Jagadish},
  title     = {Integrating Object-Oriented Data Modeling with a Rule-Based Programming
               Paradigm},
  booktitle = {Proceedings of the 1990 ACM SIGMOD International Conference on
               Management of Data, Atlantic City, NJ, May 23-25, 1990},
  publisher = {ACM Press},
  year      = {1990},
  pages     = {225-236},
  ee        = {http://doi.acm.org/10.1145/93597.98732, db/conf/sigmod/CacaceCCTZ90.html},
  crossref  = {DBLP:conf/sigmod/90},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

LOGRES is a new project for the development of extended database systems which is based on the integration of the object-oriented data modelling paradigm and of the rule-based approach for the specification of queries and updates.

The data model supports generalization hierarchies and object sharing, the rule-based language extends Datalog to support generalized type constructors (sets, multisets, and sequences), rule-based integrity constraints are automatically produced by analyzing schema definitions. Modularization is a fundamental feature, as modules encapsulate queries and updates, when modules are applied to a LOGRES database, their side effects can be controlled.

The LOGRES project is a follow-up of the ALGRES project, and takes advantage of the ALGRES programming environment for the development of a fast prototype.

Copyright © 1990 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.

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 2, SIGMOD '75-'92" and ...

• 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/smod7592 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

Printed Edition

Online Edition: ACM Digital Library

References

[ABDDMZ89]

Malcolm P. Atkinson, François Bancilhon, David J. DeWitt, Klaus R. Dittrich, David Maier, Stanley B. Zdonik: The Object-Oriented Database System Manifesto. DOOD 1989: 223-240 BibTeX

[AbGr88]

Serge Abiteboul, Stéphane Grumbach: COL: A Logic-Based Language for Complex Objects. EDBT 1988: 271-293 BibTeX

[Abit88a]

Serge Abiteboul, Victor Vianu: Datalog Extensions for Database Queries and Updates. J. Comput. Syst. Sci. 43(1): 62-124(1991) BibTeX

[Abit88b]

Serge Abiteboul: Updates, A New Frontier. ICDT 1988: 1-18 BibTeX

[Abit89]

Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX

[AbSi89]

...

[Berr88]

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

[Ca90]

...

[Card88]

Luca Cardelli: A Semantics of Multiple Inheritance. Inf. Comput. 76(2/3): 138-164(1988) BibTeX

[CCCTZ89]

...

[Ceri88]

Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555 BibTeX

[CCLLZ89]

...

[CGT89]

Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
BibTeX

[ImNa88]

Tomasz Imielinski, Shamim A. Naqvi: Explicit Control of Logic Programs Through Rule Algebra. PODS 1988: 103-116 BibTeX

[KiWu89]

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

[KV84]

Gabriel M. Kuper, Moshe Y. Vardi: A New Approach to Database Logic. PODS 1984: 86-96 BibTeX

[LRV88]

Christophe Lécluse, Philippe Richard, Fernando Vélez: O2, an Object-Oriented Data Model. SIGMOD Conference 1988: 424-433 BibTeX

[dMS88]

Christophe de Maindreville, Eric Simon: Modelling Non Deterministic Queries and Updates in Deductive Databases. VLDB 1988: 395-406 BibTeX

[Mai86]

...

[MaWa87]

...

[Morr86]

Katherine A. Morris, Jeffrey D. Ullman, Allen Van Gelder: Design Overview of the NAIL! System. ICLP 1986: 554-568 BibTeX

[Naqv89]

Shamim A. Naqvi, Shalom Tsur: A Logical Language for Data and Knowledge Bases. Computer Science Press 1989, ISBN 0-7167-8200-6
BibTeX

[Ull88]

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

Referenced by

1. Mengchi Liu, Min Guo: ROL2: A Real Deductive Object-Oriented Database Language. ER 1998: 302-315
2. Luigi Palopoli, Riccardo Torlone: Generalized Production Rules as a Basis for Integrating Active and Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(6): 848-862(1997)
3. Nicola Leone, Pasquale Rullo, Antonella Mecchia, Giuseppe Rossi: A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning. IEEE Trans. Knowl. Data Eng. 9(4): 539-558(1997)
4. Philippe Picouet, Victor Vianu: Expressiveness and Complexity of Active Databases. ICDT 1997: 155-172
5. Yuh-Ming Shyy, Javier Arroyo, Stanley Y. W. Su, Herman Lam: The Design and Implementation of K: A High-Level Knowledge-Base Programming Language of OSAM*.KBMS. VLDB J. 5(3): 181-195(1996)
6. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Trans. Database Syst. 21(3): 370-426(1996)
7. Jennifer Widom: The Starburst Active Database Rule System. IEEE Trans. Knowl. Data Eng. 8(4): 583-595(1996)
8. Jennifer Widom, Stefano Ceri (Eds.): Active Database Systems: Triggers and Rules For Advanced Database Processing. Morgan Kaufmann 1996, ISBN 1-55860-304-2
   Contents
9. I-Min A. Chen, Richard Hull, Dennis McLeod: An Execution Model for Limited Ambiguity Rules and Its Application to Derived Data Update. ACM Trans. Database Syst. 20(4): 365-413(1995)
10. Jan Paredaens, Peter Peelman, Letizia Tanca: G-Log: A Graph-Based Query Language. IEEE Trans. Knowl. Data Eng. 7(3): 436-453(1995)
11. Elisa Bertino, Paola Foscoli: Index Organizations for Object-Oriented Database Systems. IEEE Trans. Knowl. Data Eng. 7(2): 193-209(1995)
12. Philippe Picouet, Victor Vianu: Semantics and Expressiveness Issues in Active Databases. PODS 1995: 126-138
13. Serge Abiteboul, Richard Hull, Victor Vianu: Foundations of Databases. Addison-Wesley 1995, ISBN 0-201-53771-0
    Contents
14. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: Automatic Generation of Production Rules for Integrity Maintenance. ACM Trans. Database Syst. 19(3): 367-422(1994)
15. Maria L. Barja, Norman W. Paton, Alvaro A. A. Fernandes, M. Howard Williams, Andrew Dinn: An Effective Deductive Object-Oriented Database Through Language Integration. VLDB 1994: 463-474
16. Xian Ye, Christine Parent, Stefano Spaccapietra: Cardinality Consistency of Derived Objects in DOOD Systems. ER 1994: 278-295
17. Divesh Srivastava, Raghu Ramakrishnan, Praveen Seshadri, S. Sudarshan: Coral++: Adding Object-Orientation to a Logic Database Language. VLDB 1993: 158-170
18. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs, Jaime Castillo, Martha Escobar-Molano, Shih-Hui Lu, Junhui Luo, Chiu Tsang, Gang Zhou: On Implementing a Language for Specifying Active Database Execution Models. VLDB 1993: 441-454
19. Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Piero Fraternali, Stefano Paraboschi, Letizia Tanca: The LOGRES prototype. SIGMOD Conference 1993: 550-551
20. Serge Abiteboul, Georg Lausen, Heinz Uphoff, Emmanuel Waller: Methods and Rules. SIGMOD Conference 1993: 32-41
21. Anton P. Karadimce, Susan Darling Urban: A Framework for Declarative Updates and Constraint Maintenance in Object-Oriented Databases. ICDE 1993: 391-398
22. Paolo Atzeni, Luca Cabibbo, Giansalvatore Mecca: IsaLog: A declarative language for complex objects with hierarchies. ICDE 1993: 219-228
23. Jing P. Yoon: Database Updates Using Active Rules: A Unified Approach for Consistency Maintenance. DASFAA 1993: 271-278
24. Michael Kramer, Georg Lausen, Gunter Saake: Updates in a Rule-Based Language for Objects. VLDB 1992: 251-262
25. Domenico Beneventano, Sonia Bergamaschi: Subsumption for Complex Object Data Models. ICDT 1992: 357-375
26. Susan Darling Urban, Anton P. Karadimce, Ravi B. Nannapaneni: The Implementation and Evaluation of Integrity Maintenance Rules in an Object-Oriented Database. ICDE 1992: 565-572
27. Stefano Ceri: A Declarative Approach to Active Databases. ICDE 1992: 452-456
28. Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs: Implementation of Delayed Updates in Heraclitus. EDBT 1992: 261-276
29. Elisa Bertino, Danilo Montesi: Towards a Logical-Object Oriented Programming Language for Databases. EDBT 1992: 168-183
30. Serge Abiteboul, Stéphane Grumbach: A Rule-Based Language with Functions and Sets. ACM Trans. Database Syst. 16(1): 1-30(1991)
31. R. G. G. Cattell: Introduction to the Special Section on Next-Generation Database Systems. Commun. ACM 34(10): 30-33(1991)
32. Richard Hull, Dean Jacobs: Language Constructs for Programming Active Databases. VLDB 1991: 455-467
33. Filippo Cacace, Stefano Ceri, Letizia Tanca: Consistency and Non-determinism in a Database Programming Language. MFDBS 1991: 325-341
34. Maurice A. W. Houtsma, Peter M. G. Apers, Stefano Ceri: Complex Transitive Closure Queries on a Fragmented Graph. ICDT 1990: 470-484
35. Hervé Gallaire, Jean-Marie Nicolas: Logic and Databases: An Assessment. ICDT 1990: 177-186