Sciweavers

ICDT
1990
ACM
110views Database» more  ICDT 1990»
15 years 1 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