Deduction in non-Horn databases
暂无分享,去创建一个
[1] Yannis Vassiliou,et al. Null values in data base management a denotational semantics approach , 1979, SIGMOD '79.
[2] E. F. Codd,et al. Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..
[3] Lawrence J. Henschen,et al. Unit Refutations and Horn Sets , 1974, JACM.
[4] John Grant,et al. Answering Queries in Indefinite Databases and the Null Value Problem , 1986, Adv. Comput. Res..
[5] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[6] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[7] Robert A. Kowalski. Logic for Data Description , 1977, Logic and Data Bases.
[8] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[9] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[10] Stéphane Bressan,et al. Introduction to Database Systems , 2005 .
[11] Lawrence J. Henschen,et al. On compiling queries in recursive first-order databases , 1984, JACM.
[12] Chin-Liang Chang. On Evaluation of Queries Containing Derived Relations in a Relational Data Base , 1979, Advances in Data Base Theory.
[13] Raymond Reiter,et al. Equality and Domain Closure in First-Order Databases , 1980, JACM.
[14] Witold Lipski,et al. On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..