A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
暂无分享,去创建一个
[1] R. Smullyan. First-Order Logic , 1968 .
[2] Jorge B. Bocca. On the evaluation strategy of EDUCE , 1986, SIGMOD '86.
[3] François Bry,et al. Checking Consistency of Database Constraints: a Logical Basis , 1986, VLDB.
[4] Hendrik Decker,et al. Integrity Enforcement on Deductive Databases , 1986, Expert Database Conf..
[5] Liz Sonenberg,et al. Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..
[6] François Bry,et al. A Hyperresolution-Based Proof Procedure and its Implementation in Prolog , 1987, GWAI.
[7] Robert A. Kowalski,et al. Integrity Checking in Deductive Databases , 1987, VLDB.
[8] Laurent Vieille,et al. A Database-Complete Proof Procedure Based on SLD-Resolution , 1987, ICLP.
[9] Tok Wang Ling. Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate , 1987, Data Knowl. Eng..
[10] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.
[11] Adrian Walker,et al. Towards a Theory of Declarative Knowledge , 1988, Foundations of Deductive Databases and Logic Programming..
[12] Kenneth McAloon,et al. Stratification and Knowledge Base Management , 1987, J. Symb. Comput..