José Meseguer Xiaolei Qian ACM SIGMOD Conference 1993 22 2 89 98 1126 KB 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 o Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic. Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Grammars and Other Rewriting Systems, Parallel rewriting systems. Software, PROGRAMMING LANGUAGES, Language Constructs and Features, Data types and structures. Software, PROGRAMMING LANGUAGES, Language Classifications, Object-oriented languages. Information Systems, DATABASE MANAGEMENT, Languages. Information Systems, DATABASE MANAGEMENT, Systems. H.2.4 Information Systems, DATABASE MANAGEMENT, Systems. H.2.3 Information Systems, DATABASE MANAGEMENT, Languages. F.4.2 Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Grammars and Other Rewriting Systems, Parallel rewriting systems. F.4.1 Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic. D.3.2 Software, PROGRAMMING LANGUAGES, Language Classifications, Object-oriented languages. D.3.3 Software, PROGRAMMING LANGUAGES, Language Constructs and Features, Data types and structures.