An Essay on the Role and Evolution of Data(base) Semantics

[1]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[2]  Olga De Troyer.  RIDL*: a tool for the computer-assisted engineering of large databases in the presence of integrity constraints , 1989, SIGMOD '89.

[3]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[4]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[5]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[6]  Michael L. Brodie.  Personal Statement: Computer Science and Concern for Our Planet , 1989 .

[7]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[8]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[9]  Gregory R. Olsen,et al.  An Ontology for Engineering Mathematics , 1994, KR.

[10]  Jens Palsberg,et al.  A Denotational Semantics of Inheritance and its Correctness , 1989, OOPSLA.

[11]  David A. Schmidt,et al.  Denotationaisemantics: a methodology for language development , 1986 .

[12]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[13]  P. Davies,et al.  The Mind of God : Science and the Search for Ultimate Meaning , 1992 .

[14]  Terry Halpin,et al.  Conceptual Schema and Relational Database Design , 1995 .

[15]  Amílcar Sernadas,et al.  Object-Oriented Design of Information Systems: Theoretical Foundations , 1993, CISM - Advances in Database Systems.

[16]  Raymond Reiter,et al.  Towards a Logical Reconstruction of Relational Database Theory , 1982, On Conceptual Modelling.

[17]  Robert Meersman.  Towards Models for Practical Reasoning about Conceptual Database Design , 1986, DS-2.

[18]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[19]  Sharon C. Salveter.  Review of Conceptual structures: information processing in mind and machine by John F. Sowa. Addison-Wesley 1984. , 1986 .

[20]  Robert Meersman,et al.  A Logic Framework for a Semantics of Object-Oriented Data Modeling , 1995, OOER.

[21]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[22]  John G. Hughes,et al.  Object-oriented databases , 1991, Prentice Hall International series in computer science.

[23]  斉藤 康己,et al.  Douglas B. Lenat and R. V. Guha : Building Large Knowledge-Based Systems, Representation and Inference in the Cyc Project, Addison-Wesley (1990). , 1990 .

[24]  Roelf J. Wieringa,et al.  Algebraic Foundations for Dynamic Conceptual Models , 1990 .

[25]  Raymond Turner.  Logics in Artificial Intelligence , 2000, Lecture Notes in Computer Science.

[26]  Wijnand J. Schoenmakers,et al.  A problem in knowledge acquisition , 1986, SGAR.

[27]  坂内 広蔵,et al.  Michael L.Brodie, John Mylopoulos and Joachim W.Schmidt (Eds) 著, "On Conceptual Modelling", Perspectives from Artificial Intelligence, Databases and Programming Languages Springer-Verlag, 510p., $30.00 , 1985 .

[28]  Terry Winograd,et al.  Understanding computers and cognition - a new foundation for design , 1987 .

[29]  William Kent,et al.  Data and Reality , 1978 .

[30]  Dana S. Scott,et al.  Data Types as Lattices , 1976, SIAM J. Comput..