Problems of Equivalence, Categoricity of Axioms and States Description in Databases
暂无分享,去创建一个
[1] Hector J. Levesque,et al. Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..
[2] Evangelos Simoudis,et al. Integrating Distributed Expertise , 1992, Int. J. Cooperative Inf. Syst..
[3] John P. McDermott,et al. SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..
[4] E. F. Codd,et al. A relational model of data for large shared data banks , 1970, CACM.
[5] Catriel Beeri,et al. Equivalence of relational database schemes , 1979, SIAM J. Comput..
[6] Tomasz Imielinski,et al. Incomplete Information in Relational Databases , 1984, JACM.
[7] Tomasz Imielinski,et al. The Relational Model of Data and Cylindric Algebras , 1984, J. Comput. Syst. Sci..
[8] Alonzo Church,et al. Introduction to Mathematical Logic , 1991 .
[9] Jeffrey D. Ullman,et al. Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.
[10] Erich J. Neuhold,et al. Semantics of data bases: The semantics of data models , 1978, Inf. Syst..
[11] E. F. Codd,et al. Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..
[12] Jeffrey M. Bradshaw,et al. Expertise Transfer and Complex Problems: Using AQUINAS as a Knowledge-Acquisition Workbench for Knowledge-Based Systems , 1987, Int. J. Man Mach. Stud..
[13] B. Plotkin,et al. Universal Algebra, Algebraic Logic, and Databases , 1994 .