On the public citation graph

Static integrity constraint management in object-oriented database programming languages via predicate transformers

https://doi.org/10.1007/bfb0053374
0 signed · 50 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-57818-8_43openalex-snapshot
Virtual schemas and bases
inferredcites →https://doi.org/10.1007/3-540-60608-4_52openalex-snapshot
Transaction safety in deductive object-oriented databases
inferredcites →https://doi.org/10.1007/978-1-4471-3564-7_14openalex-snapshot
Thémis: a database programming language with integrity constraints
inferredcites →https://doi.org/10.1007/978-1-4612-3228-5openalex-snapshot
Predicate Calculus and Program Semantics
inferredcites →https://doi.org/10.1007/978-1-4612-4138-6openalex-snapshot
Object-Oriented Programming A Unified Foundation
inferredcites →https://doi.org/10.1007/978-1-4615-9385-0_6openalex-snapshot
Compiling Constraint-Checking Programs from First-Order Formulas
inferredcites →https://doi.org/10.1007/978-1-4684-0357-2openalex-snapshot
First-Order Logic and Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-3-642-59623-0_5openalex-snapshot
Fibonacci: A Programming Language for Object Databases
inferredcites →https://doi.org/10.1007/bf00263192openalex-snapshot
Logic for improving integrity checking in relational data bases?
inferredcites →https://doi.org/10.1007/bf01231643openalex-snapshot
Fibonacci: A programming language for object databases
inferredcites →https://doi.org/10.1007/bf01231645openalex-snapshot
Th�mis: A database programming language handling integrity constraints
inferredcites →https://doi.org/10.1007/bfb0053054openalex-snapshot
Type-safe compilation of covariant specialization: A practical case
inferredcites →https://doi.org/10.1016/0020-0190(90)90070-eopenalex-snapshot
An axiom system for database transactions
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.1016/0306-4379(83)90037-6openalex-snapshot
Integrity checking in data base systems
inferredcites →https://doi.org/10.1016/0743-1066(85)90013-5openalex-snapshot
A basis for deductive database systems
inferredcites →https://doi.org/10.1016/0743-1066(86)90004-xopenalex-snapshot
A basis for deductive database systems II
inferredcites →https://doi.org/10.1016/0950-5849(92)90131-8openalex-snapshot
Eiffel: the language
inferredcites →https://doi.org/10.1109/vldb.1979.718144openalex-snapshot
Proving Consistency Of Database Transactions
inferredcites →https://doi.org/10.1145/115790.115830openalex-snapshot
Objects and views
inferredcites →https://doi.org/10.1145/169725.169716openalex-snapshot
The deductive synthesis of database transactions
inferredcites →https://doi.org/10.1145/234528.234740openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.1145/318898.318914openalex-snapshot
Integrity checking for multiple updates
inferredcites →https://doi.org/10.1145/322108.322121openalex-snapshot
Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
inferredcites →https://doi.org/10.1145/357103.357111openalex-snapshot
A Formal System for Reasoning about Programs Accessing a Relational Database
inferredcites →https://doi.org/10.1145/500080.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/512950.512973openalex-snapshot
Abstract interpretation
inferredcites →https://doi.org/10.1145/567752.567778openalex-snapshot
Systematic design of program analysis frameworks
inferredcites →https://doi.org/10.1145/68012.68014openalex-snapshot
Automatic verification of database transaction safety

What points at this work

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

inferred← citeshttps://doi.org/10.1002/cpe.608openalex-snapshot
Consistency management in object‐oriented databases
inferred← citeshttps://doi.org/10.1002/cpe.610openalex-snapshot
Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model
inferred← citeshttps://doi.org/10.1002/cpe.731openalex-snapshot
A set‐oriented method definition language for object databases and its semantics
inferred← citeshttps://doi.org/10.1007/3-540-44677-x_3openalex-snapshot
Towards a Consistent Viewpoint on Consistency for Persistent Applications
inferred← citeshttps://doi.org/10.1007/3-540-46589-8_12openalex-snapshot
Compensation Methods to Support Generic Graph Editing: A Case Study in Automated Verification of Schema Requirements for an Advanced Transaction Model
inferred← citeshttps://doi.org/10.1007/978-3-319-20442-0_7openalex-snapshot
Types and Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-27815-3_7openalex-snapshot
On Guard: Producing Run-Time Checks from Integrity Constraints
inferred← citeshttps://doi.org/10.1007/978-3-642-14681-7_2openalex-snapshot
Verification Technology for Object-Oriented/XML Transactions
inferred← citeshttps://doi.org/10.1007/978-3-642-16092-9_11openalex-snapshot
Object-Oriented Constraints for XML Schema
inferred← citeshttps://doi.org/10.1007/978-3-642-60119-4_23openalex-snapshot
Integritätsbedingungen und Spezialisierung in Objektdatenbanken (Kurzbeitrag)
inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_12openalex-snapshot
Verifiable Object-Oriented Transactions
inferred← citeshttps://doi.org/10.1007/bfb0100993openalex-snapshot
Static management of integrity in object-oriented databases: Design and implementation
inferred← citeshttps://doi.org/10.1016/j.cl.2011.10.004openalex-snapshot
Abstract interpretation of database query languages
inferred← citeshttps://doi.org/10.1109/ants63515.2024.10898331openalex-snapshot
A Static Analysis Approach to Verify Data Integrity of Web-based Software Systems
inferred← citeshttps://doi.org/10.1109/ase.1998.732651openalex-snapshot
Statically checkable design level traits
inferred← citeshttps://doi.org/10.1109/iccubea.2016.7860011openalex-snapshot
Ensuring static data integrity on OODB transaction
inferred← citeshttps://doi.org/10.1109/ocit56763.2022.00091openalex-snapshot
Integrity Constraint Verification of Structured Query Language by Abstract Interpretation
inferred← citeshttps://doi.org/10.1145/1289927.1289932openalex-snapshot
Proving the absence of run-time errors in safety-critical avionics code
inferred← citeshttps://doi.org/10.25904/1912/2990openalex-snapshot
Program Transformation for Proving Database Transaction Safety
inferred← citeshttps://doi.org/10.3990/1.9789036513555openalex-snapshot
Verification support for object database design
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.