ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

A Logical Semantics for Object-Oriented Databases.

José Meseguer, Xiaolei Qian: A Logical Semantics for Object-Oriented Databases. SIGMOD Conference 1993: 89-98
@inproceedings{DBLP:conf/sigmod/MeseguerQ93,
  author    = {Jos{\'e} Meseguer and
               Xiaolei Qian},
  editor    = {Peter Buneman and
               Sushil Jajodia},
  title     = {A Logical Semantics for Object-Oriented Databases},
  booktitle = {Proceedings of the 1993 ACM SIGMOD International Conference on
               Management of Data, Washington, D.C., May 26-28, 1993},
  publisher = {ACM Press},
  year      = {1993},
  pages     = {89-98},
  ee        = {http://doi.acm.org/10.1145/170035.170057, db/conf/sigmod/MeseguerQ93.html},
  crossref  = {DBLP:conf/sigmod/93},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Although the mathematical foundations of relational databases are very well established, the state of affairs for object-oriented databases is much less satisfactory. We propose a semantic foundation for object-oriented databases based on a simple logic of change called rewriting logic, and a language called MaudeLog that is based on that logic. Some key advantages of our approach include its logical nature, its simplicity without any need for higher-order features, the fact that dynamic aspects are directly addressed, the rigorous integration of user-definable algebraic data types within the framework, the existence of initial models, and the integration of query, update, and programming aspects within a single declarative language.

Copyright © 1993 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

Online Version (ACM WWW Account required): Full Text in PDF Format

CDROM Version: Load the CDROM "Volume 1 Issue 1, SIGMOD '93-'97" and ...

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Peter Buneman, Sushil Jajodia (Eds.): Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, 1993. ACM Press 1993 BibTeX , SIGMOD Record 22(2), June 1993
Contents

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 1126 KB]

References

[1]
Serge Abiteboul, Anthony J. Bonner: Objects and Views. SIGMOD Conference 1991: 238-247 BibTeX
[2]
Serge Abiteboul, Paris C. Kanellakis: Object Identity as a Query Language Primitive. SIGMOD Conference 1989: 159-173 BibTeX
[3]
Serge Abiteboul, Paris C. Kanellakis: The Two Facets of Object-Oriented Data Models. IEEE Data Eng. Bull. 14(2): 3-7(1991) BibTeX
[4]
Serge Abiteboul, Paris C. Kanellakis, Emmanuel Waller: Method Schemas. PODS 1990: 16-27 BibTeX
[5]
...
[6]
...
[7]
Malcolm P. Atkinson, Philippe Richard, Philip W. Trinder: Bulk Types for Large Scale Programming. East/West Database Workshop 1990: 228-250 BibTeX
[8]
Catriel Beeri: Theoretical Foundations for OODB's - a Personal Perspective. IEEE Data Eng. Bull. 14(2): 8-12(1991) BibTeX
[9]
Catriel Beeri: New Data Models and Languages - the Challenge. PODS 1992: 1-15 BibTeX
[10]
Catriel Beeri, Tova Milo: Functional and Predicative Programming in OODB's. PODS 1992: 176-190 BibTeX
[11]
Elisa Bertino: A View Mechanism for Object-Oriented Databases. EDBT 1992: 136-151 BibTeX
[12]
Val Tannen, Ramesh Subrahmanyam: Logical and Computational Aspects of Programming with Sets/Bags/Lists. ICALP 1991: 60-75 BibTeX
[13]
...
[14]
Weidong Chen, Michael Kifer, David Scott Warren: HiLog as a Platform for Database Languages. DBPL 1989: 315-329 BibTeX
[15]
...
[16]
...
[17]
...
[18]
Joseph A. Goguen, José Meseguer: Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations. Theor. Comput. Sci. 105(2): 217-273(1992) BibTeX
[19]
...
[20]
...
[21]
Joseph A. Goguen, David A. Wolfram: On Types and FOOPS. DS-4 1990: 1-22 BibTeX
[22]
Gérard P. Huet: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. J. ACM 27(4): 797-821(1980) BibTeX
[23]
Michael Kifer, Georg Lausen: F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme. SIGMOD Conference 1989: 134-146 BibTeX
[24]
Claude Kirchner, Hélène Kirchner, José Meseguer: Operational Semantics of OBJ-3 (Extended Abstract). ICALP 1988: 287-301 BibTeX
[25]
...
[26]
...
[27]
José Meseguer: Conditioned Rewriting Logic as a United Model of Concurrency. Theor. Comput. Sci. 96(1): 73-155(1992) BibTeX
[28]
José Meseguer: Multiparadigm Logic Programming. ALP 1992: 158-200 BibTeX
[29]
...
[30]
José Meseguer, Joseph A. Goguen: Order-Sorted Unification. J. Symb. Comput. 8(4): 383-413(1989) BibTeX
[31]
...
[32]
Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370(1989) BibTeX
[33]
Gio Wiederhold: Mediators in the Architecture of Future Information Systems. IEEE Computer 25(3): 38-49(1992) BibTeX
[34]
Gio Wiederhold, Peter Wegner, Stefano Ceri: Toward Megaprogramming. Commun. ACM 35(11): 89-99(1992) BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:40:13 2009