Title
Compiling Constraint-Checking Programs from First-Order Formulas
Year
DOI
Venue
1982
10.1007/978-1-4615-9385-0_6
Advances in Data Base Theory
Keywords
Field
DocType
first order
First order,Theoretical computer science,Database design,Data integrity,Closed-world assumption,Mathematics,Contradiction
Conference
Citations 
PageRank 
References 
46
42.85
19
Authors
3
Name
Order
Citations
PageRank
Lawrence J. Henschen1478280.94
William Mccune217749.30
Shamim A. Naqvi3522329.22