What Should A Database Know?
Summary: Argues for querying databases with Levesque's epistemic modal logic KFOPCE so queries can refer to facts and to what the database knows (K), enabling handling of nulls and known/unknown individuals. Recasts static integrity constraints and their satisfaction under epistemic semantics. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 4,535 | Hybrid Querying Over Relational Databases and Large Language Models | 2025 | CIDR | 6.1049669e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 0 of 0 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,251 | Database Updates Through Abduction | 1990 | VLDB | 5.1377146e-05 |
| 172 | Decidability And Expressiveness Aspects Of Logic Queries | 1987 | PODS | 0.00038808816 |
| 4,028 | On the Expressive Power of the Logical Data Model | 1985 | SIGMOD | 6.5157392e-05 |
| 8,269 | Checking Consistency of Database Constraints: a Logical Basis | 1986 | VLDB | 4.5455963e-05 |
| 2,712 | Query Processing in Deductive Databases with Incomplete Information | 1986 | SIGMOD | 8.2488274e-05 |
| 7,525 | Querying a Multilevel Database: A Logical Analysis | 1996 | VLDB | 4.7180617e-05 |
| 485 | A New Approach to Database Logic | 1984 | PODS | 0.00022085103 |
| 2,185 | On the Equivalence of Logical Databases | 1984 | PODS | 9.3382191e-05 |
| 3,444 | A Modal System of Algebras for Database Specification and Query/Update Language Support | 1983 | VLDB | 7.0871625e-05 |
| 380 | Querying Database Knowledge | 1990 | SIGMOD | 0.00024933189 |