On the public citation graph
How to tackle schema validation by view updating
0 signed · 39 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.
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.
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-55602-8_180openalex-snapshot
Embedding negation as failure into a model generation theorem prover
inferredcites →https://doi.org/10.1007/3-540-59498-1_234openalex-snapshot
A method for explaining the behaviour of conceptual models
inferredcites →https://doi.org/10.1007/978-3-642-74688-8_13openalex-snapshot
The Range Form of Databases and Queries or: How to Avoid Floundering
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf01237920openalex-snapshot
Updating knowledge bases while maintaining their consistency
inferredcites →https://doi.org/10.1007/bfb0000066openalex-snapshot
On indefinite databases and the closed world assumption
inferredcites →https://doi.org/10.1007/bfb0032435openalex-snapshot
The events method for view updating in deductive databases
inferredcites →https://doi.org/10.1007/bfb0035156openalex-snapshot
A method for reasoning about deductive conceptual models of information systems
inferredcites →https://doi.org/10.1016/0167-9236(86)90063-1openalex-snapshot
Checking consistency of database constraints: a logical basis,
inferredcites →https://doi.org/10.1109/icde.1995.380395openalex-snapshot
A common framework for classifying and specifying deductive database updating problems
inferredcites →https://doi.org/10.1145/153850.153860openalex-snapshot
Equivalence, query-reachability and satisfiability in Datalog extensions
inferredcites →https://doi.org/10.1145/16856.16859openalex-snapshot
An amateur's introduction to recursive query processing strategies
inferredcites →https://doi.org/10.1145/182591.182597openalex-snapshot
Constraint checking with partial information
inferredcites →https://doi.org/10.1145/212433.220207openalex-snapshot
Semantic query optimization in Datalog programs (extended abstract)
inferredcites →https://doi.org/10.1145/356876.356879openalex-snapshot
Validation, Verification, and Testing of Computer Software
inferredcites →https://doi.org/10.1145/356924.356929openalex-snapshot
Logic and Databases: A Deductive Approach
inferredcites →https://doi.org/10.5860/choice.26-5107openalex-snapshot
Principles of database and knowledge-base systems
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-45341-5_28openalex-snapshot
Taxonomies and Derivation Rules in Conceptual Modeling
inferred← citeshttps://doi.org/10.1007/3-540-61292-0_15openalex-snapshot
Handling conceptual model validation by planning
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_16openalex-snapshot
FOLRE: A deductive database system for the integrated treatment of updates
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_25openalex-snapshot
Validating active rules by planning
inferred← citeshttps://doi.org/10.1007/3-540-63792-3_15openalex-snapshot
An approach to obtain intensional translations for consistent view updating
inferred← citeshttps://doi.org/10.1007/978-3-540-30075-5_8openalex-snapshot
A New Approach for Checking Schema Validation Properties
inferred← citeshttps://doi.org/10.1007/978-3-540-88655-6_24openalex-snapshot
Inconsistency-Tolerant Integrity Checking for Knowledge Assimilation
inferred← citeshttps://doi.org/10.1007/bfb0054492openalex-snapshot
Query containment checking as a view updating problem
inferred← citeshttps://doi.org/10.1007/bfb0055502openalex-snapshot
Some notes on knowledge assimilation in deductive databases
inferred← citeshttps://doi.org/10.1007/s10270-013-0350-8openalex-snapshot
AuRUS: explaining the validation of UML/OCL conceptual schemas
inferred← citeshttps://doi.org/10.1016/j.datak.2004.08.002openalex-snapshot
Checking query containment with the CQC method
inferred← citeshttps://doi.org/10.1016/j.datak.2008.04.009openalex-snapshot
Validation of mappings between schemas
inferred← citeshttps://doi.org/10.1016/s0306-4379(02)00011-xopenalex-snapshot
Derived types and taxonomic constraints in conceptual modeling
inferred← citeshttps://doi.org/10.1017/s1471068402001631openalex-snapshot
On the abductive or deductive nature of database schema validation and update processing problems
inferred← citeshttps://doi.org/10.1145/1321440.1321584openalex-snapshot
Computing explanations for unlively queries in databases
inferred← citeshttps://doi.org/10.2298/csis120713042ropenalex-snapshot
Validation of schema mappings with nested queries
inferred← citeshttps://doi.org/10.4018/978-1-930708-38-9.ch007openalex-snapshot
Translating Advanced Integrity Checking Technology to SQL
inferred← citeshttps://doi.org/10.5821/dissertation-2117-93976openalex-snapshot
Validation of UML conceptual schemas with OCL constraints and operations
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.