On the public citation graph

Accommodating integrity constraints during database design

https://doi.org/10.1007/bfb0014175
0 signed · 44 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-19074-0_69openalex-snapshot
A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases
inferredcites →https://doi.org/10.1007/3-540-55015-1_25openalex-snapshot
From relational to object-oriented integrity simplification
inferredcites →https://doi.org/10.1007/3-540-60365-4_132openalex-snapshot
Compilation and simplification of temporal integrity constraints
inferredcites →https://doi.org/10.1007/978-1-4612-0931-7openalex-snapshot
The Temporal Logic of Reactive and Concurrent Systems
inferredcites →https://doi.org/10.1007/978-94-009-0553-5_2openalex-snapshot
Monotonic Solution of The Frame Problem in The Situation Calculus
inferredcites →https://doi.org/10.1007/bf00263192openalex-snapshot
Logic for improving integrity checking in relational data bases?
inferredcites →https://doi.org/10.1007/bf01237920openalex-snapshot
Updating knowledge bases while maintaining their consistency
inferredcites →https://doi.org/10.1007/s007780050027openalex-snapshot
Building knowledge base management systems
inferredcites →https://doi.org/10.1016/0304-3975(90)90014-9openalex-snapshot
Transformation of dynamic integrity constraints into transaction specifications
inferredcites →https://doi.org/10.1016/0743-1066(87)90009-4openalex-snapshot
Integrity constraint checking in stratified databases
inferredcites →https://doi.org/10.1016/b978-0-12-450010-5.50026-8openalex-snapshot
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1016/b978-0-934613-32-3.50020-4openalex-snapshot
Reasoning About Action I: A Possible Worlds Approach
inferredcites →https://doi.org/10.1093/comjnl/17.1.52openalex-snapshot
Consistency auditing of databases
inferredcites →https://doi.org/10.1093/logcom/4.5.655openalex-snapshot
State Constraints Revisited
inferredcites →https://doi.org/10.1109/32.469460openalex-snapshot
On the frame problem in procedure specifications
inferredcites →https://doi.org/10.1109/icde.1992.213153openalex-snapshot
History-less checking of dynamic integrity constraints
inferredcites →https://doi.org/10.1109/icse.1993.346034openalex-snapshot
'. . . and nothing else changes': the frame problem in procedure specifications
inferredcites →https://doi.org/10.1109/vldb.1979.718144openalex-snapshot
Proving Consistency Of Database Transactions
inferredcites →https://doi.org/10.1111/j.1467-8640.1993.tb00301.xopenalex-snapshot
SEMANTICAL AND ONTOLOGICAL CONSIDERATIONS IN TELOS: A LANGUAGE FOR KNOWLEDGE REPRESENTATION DIMITRIS PLEXOUSAKIS
inferredcites →https://doi.org/10.1145/102675.102676openalex-snapshot
Telos: representing knowledge about information systems
inferredcites →https://doi.org/10.1145/38713.38753openalex-snapshot
On the modes and meaning of feedback to transaction designers
inferredcites →https://doi.org/10.1145/500080.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/68012.68014openalex-snapshot
Automatic verification of database transaction safety
inferredcites →https://doi.org/10.5555/257572.257636openalex-snapshot
“…And nothing else changes”: the frame problem in procedure specifications

What points at this work

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

inferred← citeshttps://doi.org/10.1002/int.v25:4openalex-snapshot
inferred← citeshttps://doi.org/10.1007/3-540-46014-4_3openalex-snapshot
The Ramification and Qualification Problems in Temporal Databases
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_31openalex-snapshot
Integrity constraint checking in Chimera
inferred← citeshttps://doi.org/10.1007/978-0-387-35693-8_4openalex-snapshot
Towards Effect Preservation of Updates with Loops
inferred← citeshttps://doi.org/10.1007/978-3-540-45275-1_9openalex-snapshot
Intentions of Operations – Characterization and Preservation
inferred← citeshttps://doi.org/10.1007/978-3-540-68123-6_41openalex-snapshot
The Ramification Problem in Temporal Databases: A Solution Implemented in SQL
inferred← citeshttps://doi.org/10.1007/978-3-642-36008-4_7openalex-snapshot
Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity
inferred← citeshttps://doi.org/10.1007/s007780050027openalex-snapshot
Building knowledge base management systems
inferred← citeshttps://doi.org/10.1007/s10489-011-0293-0openalex-snapshot
The ramification problem in temporal databases: a solution implemented in SQL
inferred← citeshttps://doi.org/10.1007/s10844-010-0143-2openalex-snapshot
The ramification problem in temporal databases: an approach with conflicting constraints
inferred← citeshttps://doi.org/10.1016/j.datak.2005.09.003openalex-snapshot
The ramification problem in temporal databases: Changing beliefs about the past
inferred← citeshttps://doi.org/10.1016/j.eswa.2009.06.110openalex-snapshot
A tool for addressing the ramification problem in spatial databases: A solution implemented in SQL
inferred← citeshttps://doi.org/10.1016/s0306-4379(01)00055-2openalex-snapshot
A formal framework for business process modelling and design
inferred← citeshttps://doi.org/10.1023/a:1008730221445openalex-snapshot
Behavioural Conflicts in a Causal Specification
inferred← citeshttps://doi.org/10.1109/tai.2002.1180791openalex-snapshot
Actions with duration and constraints: the ramification problem in temporal databases
inferred← citeshttps://doi.org/10.1142/s1793351x15500038openalex-snapshot
A Tool for Spatial Reasoning in XML Documents
inferred← citeshttps://doi.org/10.1145/2602622.2602627openalex-snapshot
Persistent functional languages
inferred← citeshttps://doi.org/10.1504/ijris.2011.037740openalex-snapshot
Constraint satisfaction in XML temporal databases
inferred← citeshttps://doi.org/10.3233/kes-2010-0199openalex-snapshot
A tool for ramification reasoning over temporal OWL knowledge bases
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.