Sciweavers

ICDT
1990
ACM
110views Database» more  ICDT 1990»
14 years 3 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass