文档介绍：A Logical Semantics for Object-Oriented Databases
JOS6 Meseguer*and Xiaolei Qiant
Computer Science Laboratory, SRI International
333 Ravenswood Avenue, Menlo Park, CA 94025, USA
Abstract for example work by Maier on O-logic [26], work by Kifer
and Lausen on F-logic [23], work by Goguen, Meseguer and
Although the mathematical foundations of relational Wolfram on the FOOPS language [17, 21], work by Beeri
databases are very well established, the state of tiairs for and on algebraic foundations [8, 9, 10], and work by
object-oriented databases is much lees satisfactory. We pro- Abiteboul on method schemas [4, 3] (see [23, 9] for addi-
pose a semantic foundation for object-oriented databases tional references in this whole area). However, it seems fair
baaed on a simple logic of change cidled rewriting logic, and a to say that no agreement has yet been reached on the mat-
language called MaudeLog that is based on that logic. Some ter of foundations, and that many problems remain open as
key advantages of our approach include its logical nature, its serious challenges, especially in dynamic aspects having to
simplicity without any need for higher-order features, the do with evolution in time and state change.
fact that dynamic aspects are directly addressed, the rigor- We propose a semantic foundation for object-oriented
ous integration of user-de