On the public citation graph

The events method for view updating in deductive databases

https://doi.org/10.1007/bfb0032435
0 signed · 33 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-50171-1_1openalex-snapshot
Updates, a new frontier
inferredcites →https://doi.org/10.1007/3-540-53507-1_94openalex-snapshot
Drawing updates from derivations
inferredcites →https://doi.org/10.1007/978-1-4684-3384-5_4openalex-snapshot
Logic for Data Description
inferredcites →https://doi.org/10.1007/978-3-642-82375-6openalex-snapshot
Query Processing in Database Systems
inferredcites →https://doi.org/10.1007/978-3-642-82375-6_7openalex-snapshot
Updating Relational Views
inferredcites →https://doi.org/10.1007/bf03037514openalex-snapshot
Updating knowledge bases
inferredcites →https://doi.org/10.1007/bf03037523openalex-snapshot
Updating knowledge bases II
inferredcites →https://doi.org/10.1016/0743-1066(89)90020-4openalex-snapshot
A completeness theorem for SLDNF resolution
inferredcites →https://doi.org/10.1145/16856.16859openalex-snapshot
An amateur's introduction to recursive query processing strategies
inferredcites →https://doi.org/10.1145/16894.16859openalex-snapshot
An amateur's introduction to recursive query processing strategies
inferredcites →https://doi.org/10.1145/319628.319634openalex-snapshot
Update semantics of relational views
inferredcites →https://doi.org/10.1145/319732.319740openalex-snapshot
On the correct translation of update operations on relational views

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.2139/ssrn.4651304openalex-extracted
Incremental Checking of Sql Assertions in a Rdbms
inferred← citeshttps://doi.org/10.1007/3-540-59498-1_234openalex-snapshot
A method for explaining the behaviour of conceptual models
inferred← citeshttps://doi.org/10.1007/978-3-319-67271-7_18openalex-snapshot
The Early Days of Entity-Relationship Modeling Retrospective on Dataid Project and Beyond
inferred← citeshttps://doi.org/10.1007/978-3-319-67271-7_2openalex-snapshot
30 Years of Contributions to Conceptual Modeling
inferred← citeshttps://doi.org/10.1007/978-3-540-77684-0_18openalex-snapshot
A Transformation-Based Approach to View Updating in Stratifiable Deductive Databases
inferred← citeshttps://doi.org/10.1007/bf00961655openalex-snapshot
The role of abduction in database view updating
inferred← citeshttps://doi.org/10.1007/bf01237920openalex-snapshot
Updating knowledge bases while maintaining their consistency
inferred← citeshttps://doi.org/10.1007/bfb0014177openalex-snapshot
How to tackle schema validation by view updating
inferred← citeshttps://doi.org/10.1007/bfb0022037openalex-snapshot
Structuring the process of integrity maintenance
inferred← citeshttps://doi.org/10.1007/bfb0032418openalex-snapshot
Advances in Database Technology — EDBT '92
inferred← citeshttps://doi.org/10.1007/bfb0035156openalex-snapshot
A method for reasoning about deductive conceptual models of information systems
inferred← citeshttps://doi.org/10.1007/bfb0035653openalex-snapshot
Toward a uniform logical representation of different kinds of integrity constraints
inferred← citeshttps://doi.org/10.1016/0306-4379(96)00010-5openalex-snapshot
Validating conceptual specifications through model execution
inferred← citeshttps://doi.org/10.1016/j.is.2025.102550openalex-snapshot
Incremental checking of SQL assertions in an RDBMS
inferred← citeshttps://doi.org/10.1080/11663081.1997.10510902openalex-snapshot
Minimal and consistent evolution of knowledge bases
inferred← citeshttps://doi.org/10.1109/69.617052openalex-snapshot
Programming with logical queries, bulk updates, and hypothetical reasoning
inferred← citeshttps://doi.org/10.1109/icde.1993.344019openalex-snapshot
On updates and inconsistency repairing in knowledge bases
inferred← citeshttps://doi.org/10.1109/icde.1995.380395openalex-snapshot
A common framework for classifying and specifying deductive database updating problems
inferred← citeshttps://doi.org/10.5555/1220075.1220079openalex-snapshot
An Application of Deontic Logic to Information System Constraints
inferred← citeshttps://doi.org/10.5821/dissertation-2117-93956openalex-snapshot
Un mètode per a la comprovació de restriccions d'integritat en bases de dades deductives bitemporals
inferred← citeshttps://doi.org/10.5821/dissertation-2117-93972openalex-snapshot
El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.