A Logical Semantics for Object-Oriented Databases

José Meseguer, Xiaolei Qian

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)89-98
Number of pages10
JournalACM SIGMOD Record
Issue number2
StatePublished - Jan 6 1993
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Information Systems


Dive into the research topics of 'A Logical Semantics for Object-Oriented Databases'. Together they form a unique fingerprint.

Cite this