Knowledgebase Transformations
Summary: Language for uniformly expressing queries and updates over knowledgebases viewed as finite sets of relational structures, featuring an "insert" operator that injects arbitrary FO sentences via Katsuno–Mendelzon belief‑revision update semantics. Expressive power between existential SO and full SO, supports hypothetical and recursively indefinite-database queries; data complexity generally EXPTIME, reducible to co-NP or PTIME under syntactic restrictions. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 12,855 | On the Semantics of Theory Change: Arbitration between Old and New Information | 1993 | PODS | 4.1945683e-05 |
Outgoing Citations (Sorted by Pagerank)
Showing 5 of 5 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 556 | On the Semantics of Updates in Databases | 1983 | PODS | 0.00020249905 |
| 2,197 | Update Semantics for Incomplete Databases | 1985 | VLDB | 9.3085358e-05 |
| 2,578 | On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals | 1992 | PODS | 8.5091045e-05 |
| 4,141 | Explicit Control of Logic Programs Through Rule Algebra | 1988 | PODS | 6.4141369e-05 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,578 | On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals | 1992 | PODS | 8.5091045e-05 |
| 7,248 | Positive Higher-Order Queries | 2010 | PODS | 4.7902631e-05 |
| 12,664 | String Operations in Query Languages | 2001 | PODS | 4.1945683e-05 |
| 4,491 | Non-Deterministic Languages to Express Deterministic Transformations | 1990 | PODS | 6.1422281e-05 |
| 13,755 | Knowledge compilation = Query rewriting + View synthesis | 2002 | PODS | - |
| 12,847 | Investigation of Algebraic Query Optimisation for Database Programming Languages | 1994 | VLDB | 4.1945683e-05 |
| 5,601 | A Model-Theoretic Approach to Updating Logical Databases (Extended Abstract) | 1986 | PODS | 5.4153386e-05 |
| 6,551 | Functional Database Query Languages as Typed Lambda Calculi of Fixed Order (Extended Abstract) | 1994 | PODS | 5.0171671e-05 |
| 1,835 | The Expressiveness of a Family of Finite Set Languages | 1991 | PODS | 0.00010375854 |
| 4,346 | Languages for Relational Databases over Interpreted Structures | 1997 | PODS | 6.2725564e-05 |