Year | DOI | Venue |
---|---|---|
1993 | 10.1016/0020-0190(93)90232-X | Inf. Process. Lett. |
Keywords | Field | DocType |
deductive databases,existential quantifiers | Discrete mathematics,Existentialism,Deductive database,Automated theorem proving,Prenex normal form,Relational algebra,Rule of inference,Null (SQL),Semantics,Database,Mathematics | Journal |
Volume | Issue | ISSN |
47 | 2 | 0020-0190 |
Citations | PageRank | References |
1 | 1.99 | 2 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sang Ho Lee | 1 | 182 | 102.61 |
Lawrence J. Henschen | 2 | 478 | 280.94 |