Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Moshe Y. Vardi :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Which papers of Moshe Y. Vardi cite Moshe Y. Vardi Ordered by citing publication [Change the order to 'ordered by cited' ]
Serge Abiteboul , Moshe Y. Vardi , Victor Vianu Computing with Infinitary Logic. [Citation Graph (3, 15)][DBLP ] ICDT, 1992, pp:113-123 [Conf ] Cites:
Phokion G. Kolaitis , Moshe Y. Vardi 0-1 Laws for Infinitary Logics (Preliminary Report) [Citation Graph (7, 0)][DBLP ] LICS, 1990, pp:156-167 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi Fixpoint Logic vs. Infinitary Logic in Finite-Model Theory [Citation Graph (3, 0)][DBLP ] LICS, 1992, pp:46-57 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (9, 14)][DBLP ] PODS, 1990, pp:61-71 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi The Decision Problem for the Probabilities of Higher-Order Properties [Citation Graph (5, 0)][DBLP ] STOC, 1987, pp:425-435 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Gabriel M. Kuper , Moshe Y. Vardi On the Complexity of Queries in the Logical Data Model (Extended Abstract). [Citation Graph (11, 18)][DBLP ] ICDT, 1988, pp:267-280 [Conf ] Cites:
Gabriel M. Kuper , Moshe Y. Vardi A New Approach to Database Logic. [Citation Graph (54, 6)][DBLP ] PODS, 1984, pp:86-96 [Conf ]
Gabriel M. Kuper , Moshe Y. Vardi On the Expressive Power of the Logical Data Model (Preliminary Report). [Citation Graph (10, 14)][DBLP ] SIGMOD Conference, 1985, pp:180-187 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi View-Based Query Processing for Regular Path Queries with Inverse. [Citation Graph (2, 31)][DBLP ] PODS, 2000, pp:58-66 [Conf ] Cites:
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Answering Regular Path Queries Using Views. [Citation Graph (3, 0)][DBLP ] ICDE, 2000, pp:389-398 [Conf ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (6, 31)][DBLP ] PODS, 1999, pp:194-204 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Moshe Y. Vardi A Note on the Reduction of Two-Way Automata to One-Way Automata. [Citation Graph (1, 0)][DBLP ] Inf. Process. Lett., 1989, v:30, n:5, pp:261-264 [Journal ]
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP ] PODS, 1989, pp:172-181 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Moshe Y. Vardi , Pierre Wolper Automata-Theoretic Techniques for Modal Logics of Programs. [Citation Graph (3, 0)][DBLP ] J. Comput. Syst. Sci., 1986, v:32, n:2, pp:183-221 [Journal ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal ]
Surajit Chaudhuri , Moshe Y. Vardi On the Complexity of Equivalence between Recursive and Nonrecursive Datalog Programs. [Citation Graph (2, 23)][DBLP ] PODS, 1994, pp:107-116 [Conf ] Cites:
Surajit Chaudhuri , Moshe Y. Vardi On the Equivalence of Recursive and Nonrecursive Datalog Programs. [Citation Graph (16, 31)][DBLP ] PODS, 1992, pp:55-66 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ]
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:683-713 [Journal ]
Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Logical Query Optimization by Proff-Tree Transformation. [Citation Graph (2, 0)][DBLP ] J. Comput. Syst. Sci., 1993, v:47, n:1, pp:222-248 [Journal ]
Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi On the Semantics of Updates in Databases. [Citation Graph (50, 5)][DBLP ] PODS, 1983, pp:352-365 [Conf ] Cites:
Marc H. Graham , Moshe Y. Vardi On the Complexity and Axiomatizability of Consistent Database States. [Citation Graph (7, 15)][DBLP ] PODS, 1984, pp:281-289 [Conf ] Cites:
Moshe Y. Vardi Global Decision Problems for Relational Databases [Citation Graph (1, 0)][DBLP ] FOCS, 1981, pp:198-202 [Conf ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi The Revenge of the JD. [Citation Graph (7, 23)][DBLP ] PODS, 1983, pp:279-287 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Tools for Datalog Boundedness. [Citation Graph (8, 18)][DBLP ] PODS, 1991, pp:1-12 [Conf ] Cites:
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs. [Citation Graph (9, 0)][DBLP ] J. ACM, 1993, v:40, n:3, pp:683-713 [Journal ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ]
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (9, 14)][DBLP ] PODS, 1990, pp:61-71 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi 0-1 Laws for Infinitary Logics (Preliminary Report) [Citation Graph (7, 0)][DBLP ] LICS, 1990, pp:156-167 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi Conjunctive-Query Containment and Constraint Satisfaction. [Citation Graph (3, 22)][DBLP ] PODS, 1998, pp:205-213 [Conf ] Cites:
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Variable-Confined Logics. [Citation Graph (1, 0)][DBLP ] LICS, 1996, pp:348-359 [Conf ]
Moshe Y. Vardi On the Complexity of Bounded-Variable Queries. [Citation Graph (7, 29)][DBLP ] PODS, 1995, pp:266-276 [Conf ]
Tomás Feder , Moshe Y. Vardi Monotone monadic SNP and constraint satisfaction. [Citation Graph (4, 0)][DBLP ] STOC, 1993, pp:612-622 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi Infinitary Logics and 0-1 Laws [Citation Graph (5, 0)][DBLP ] Inf. Comput., 1992, v:98, n:2, pp:258-294 [Journal ]
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (5, 0)][DBLP ] J. Comput. Syst. Sci., 1995, v:51, n:1, pp:110-134 [Journal ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi The Revenge of the JD. [Citation Graph (7, 23)][DBLP ] PODS, 1983, pp:279-287 [Conf ] Cites:
Gabriel M. Kuper , Jeffrey D. Ullman , Moshe Y. Vardi On the Equivalence of Logical Databases. [Citation Graph (10, 3)][DBLP ] PODS, 1984, pp:221-228 [Conf ] Cites:
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ]
Raghu Ramakrishnan , Yehoshua Sagiv , Jeffrey D. Ullman , Moshe Y. Vardi Proof-Tree Transformation Theorems and Their Applications. [Citation Graph (14, 12)][DBLP ] PODS, 1989, pp:172-181 [Conf ] Cites:
Moshe Y. Vardi Constraint Satisfaction and Database Theory: a Tutorial. [Citation Graph (0, 45)][DBLP ] PODS, 2000, pp:76-85 [Conf ] Cites:
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Answering Regular Path Queries Using Views. [Citation Graph (3, 0)][DBLP ] ICDE, 2000, pp:389-398 [Conf ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi View-Based Query Processing for Regular Path Queries with Inverse. [Citation Graph (2, 31)][DBLP ] PODS, 2000, pp:58-66 [Conf ]
Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi Rewriting of Regular Expressions and Regular Path Queries. [Citation Graph (6, 31)][DBLP ] PODS, 1999, pp:194-204 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi Conjunctive-Query Containment and Constraint Satisfaction. [Citation Graph (3, 22)][DBLP ] PODS, 1998, pp:205-213 [Conf ]
Moshe Y. Vardi On the Complexity of Bounded-Variable Queries. [Citation Graph (7, 29)][DBLP ] PODS, 1995, pp:266-276 [Conf ]
Tomás Feder , Moshe Y. Vardi Monotone monadic SNP and constraint satisfaction. [Citation Graph (4, 0)][DBLP ] STOC, 1993, pp:612-622 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Phokion G. Kolaitis , Moshe Y. Vardi Infinitary Logics and 0-1 Laws [Citation Graph (5, 0)][DBLP ] Inf. Comput., 1992, v:98, n:2, pp:258-294 [Journal ]
Phokion G. Kolaitis , Moshe Y. Vardi On the Expressive Power of Datalog: Tools and a Case Study. [Citation Graph (5, 0)][DBLP ] J. Comput. Syst. Sci., 1995, v:51, n:1, pp:110-134 [Journal ]
Moshe Y. Vardi The Implication and Finite Implication Problems for Typed Template Dependencies. [Citation Graph (3, 16)][DBLP ] PODS, 1982, pp:230-238 [Conf ] Cites:
Catriel Beeri , Moshe Y. Vardi The Implication Problem for Data Dependencies. [Citation Graph (9, 0)][DBLP ] ICALP, 1981, pp:73-85 [Conf ]
Catriel Beeri , Moshe Y. Vardi A Proof Procedure for Data Dependencies. [Citation Graph (21, 0)][DBLP ] J. ACM, 1984, v:31, n:4, pp:718-741 [Journal ]
Catriel Beeri , Moshe Y. Vardi Formal Systems for Tuple and Equality Generating Dependencies. [Citation Graph (20, 0)][DBLP ] SIAM J. Comput., 1984, v:13, n:1, pp:76-98 [Journal ]
Moshe Y. Vardi Querying Logical Databases. [Citation Graph (8, 8)][DBLP ] PODS, 1985, pp:57-65 [Conf ] Cites:
Moshe Y. Vardi On the Integrity of Databases with Incomplete Information. [Citation Graph (1, 23)][DBLP ] PODS, 1986, pp:252-266 [Conf ] Cites:
Catriel Beeri , Moshe Y. Vardi The Implication Problem for Data Dependencies. [Citation Graph (9, 0)][DBLP ] ICALP, 1981, pp:73-85 [Conf ]
Ronald Fagin , Jeffrey D. Ullman , Moshe Y. Vardi On the Semantics of Updates in Databases. [Citation Graph (50, 5)][DBLP ] PODS, 1983, pp:352-365 [Conf ]
Marc H. Graham , Moshe Y. Vardi On the Complexity and Axiomatizability of Consistent Database States. [Citation Graph (7, 15)][DBLP ] PODS, 1984, pp:281-289 [Conf ]
Moshe Y. Vardi Querying Logical Databases. [Citation Graph (8, 8)][DBLP ] PODS, 1985, pp:57-65 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Marc H. Graham , Alberto O. Mendelzon , Moshe Y. Vardi Notions of dependency satisfaction. [Citation Graph (14, 0)][DBLP ] J. ACM, 1986, v:33, n:1, pp:105-129 [Journal ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ]
Moshe Y. Vardi Automata Theory for Database Theoreticans. [Citation Graph (7, 21)][DBLP ] PODS, 1989, pp:83-92 [Conf ] Cites:
Haim Gaifman , Harry G. Mairson , Yehoshua Sagiv , Moshe Y. Vardi Undecidable Optimization Problems for Database Logic Programs [Citation Graph (26, 0)][DBLP ] LICS, 1987, pp:106-115 [Conf ]
Yehoshua Sagiv , Moshe Y. Vardi Safety of Datalog Queries over Infinite Databases. [Citation Graph (8, 20)][DBLP ] PODS, 1989, pp:160-171 [Conf ]
Moshe Y. Vardi Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. [Citation Graph (22, 23)][DBLP ] PODS, 1988, pp:341-351 [Conf ]
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi On the Complexity of Bounded-Variable Queries. [Citation Graph (7, 29)][DBLP ] PODS, 1995, pp:266-276 [Conf ] Cites:
Phokion G. Kolaitis , Moshe Y. Vardi Infinitary Logic for Computer Science. [Citation Graph (1, 0)][DBLP ] ICALP, 1992, pp:450-473 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Moshe Y. Vardi , Larry J. Stockmeyer Improved Upper and Lower Bounds for Modal Logics of Programs: Preliminary Report [Citation Graph (1, 0)][DBLP ] STOC, 1985, pp:240-251 [Conf ]
Gabriel M. Kuper , Moshe Y. Vardi On the Expressive Power of the Logical Data Model (Preliminary Report). [Citation Graph (10, 14)][DBLP ] SIGMOD Conference, 1985, pp:180-187 [Conf ] Cites:
Serge Abiteboul , Gabriel M. Kuper , Harry G. Mairson , Alexander A. Shvartsman , Moshe Y. Vardi In Memoriam Paris C. Kanellakis. [Citation Graph (0, 32)][DBLP ] ACM Comput. Surv., 1996, v:28, n:1, pp:3-15 [Journal ] Cites:
Stavros S. Cosmadakis , Haim Gaifman , Paris C. Kanellakis , Moshe Y. Vardi Decidable Optimization Problems for Database Logic Programs (Preliminary Report) [Citation Graph (20, 0)][DBLP ] STOC, 1988, pp:477-490 [Conf ]
Moshe Y. Vardi The Complexity of Relational Query Languages (Extended Abstract) [Citation Graph (108, 0)][DBLP ] STOC, 1982, pp:137-146 [Conf ]
Gerd G. Hillebrand , Paris C. Kanellakis , Harry G. Mairson , Moshe Y. Vardi Undecidable Boundedness Problems for Datalog Programs. [Citation Graph (4, 0)][DBLP ] J. Log. Program., 1995, v:25, n:2, pp:163-190 [Journal ]
Gabriel M. Kuper , Moshe Y. Vardi The Logical Data Model. [Citation Graph (6, 38)][DBLP ] ACM Trans. Database Syst., 1993, v:18, n:3, pp:379-413 [Journal ] Cites:
Gabriel M. Kuper , Moshe Y. Vardi On the Complexity of Queries in the Logical Data Model (Extended Abstract). [Citation Graph (11, 18)][DBLP ] ICDT, 1988, pp:267-280 [Conf ]
Gabriel M. Kuper , Moshe Y. Vardi A New Approach to Database Logic. [Citation Graph (54, 6)][DBLP ] PODS, 1984, pp:86-96 [Conf ]
Gabriel M. Kuper , Moshe Y. Vardi On the Expressive Power of the Logical Data Model (Preliminary Report). [Citation Graph (10, 14)][DBLP ] SIGMOD Conference, 1985, pp:180-187 [Conf ]
David Maier , Jeffrey D. Ullman , Moshe Y. Vardi On the Foundations of the Universal Relation Model. [Citation Graph (62, 41)][DBLP ] ACM Trans. Database Syst., 1984, v:9, n:2, pp:283-308 [Journal ] Cites:
Moshe Y. Vardi On Decomposition of Relational Databases [Citation Graph (8, 0)][DBLP ] FOCS, 1982, pp:176-185 [Conf ]
Marc H. Graham , Moshe Y. Vardi On the Complexity and Axiomatizability of Consistent Database States. [Citation Graph (7, 15)][DBLP ] PODS, 1984, pp:281-289 [Conf ]
Catriel Beeri , Moshe Y. Vardi A Proof Procedure for Data Dependencies. [Citation Graph (21, 0)][DBLP ] J. ACM, 1984, v:31, n:4, pp:718-741 [Journal ]