On the public citation graph
Th�mis: A database programming language handling integrity constraints
0 signed · 42 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.1006/inco.1995.1033openalex-snapshot
A Calculus for Overloaded Functions with Subtyping
inferredcites →https://doi.org/10.1007/3-540-13346-1_2openalex-snapshot
A semantics of multiple inheritance
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/978-1-4471-3209-7_17openalex-snapshot
Enforcing Integrity Constraints in Database Programming Languages
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.1016/0167-6423(87)90019-0openalex-snapshot
Basic polymorphic typechecking
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/0890-5401(88)90007-7openalex-snapshot
A semantics of multiple inheritance
inferredcites →https://doi.org/10.1109/vldb.1979.718144openalex-snapshot
Proving Consistency Of Database Transactions
inferredcites →https://doi.org/10.1145/318898.318914openalex-snapshot
Integrity checking for multiple updates
inferredcites →https://doi.org/10.1145/500080.500091openalex-snapshot
Implementation of integrity constraints and views by query modification
inferredcites →https://doi.org/10.1145/6041.6042openalex-snapshot
On understanding types, data abstraction, and polymorphism
inferredcites →https://doi.org/10.1145/62070.45066openalex-snapshot
Types and persistence in database programming languages
inferredcites →https://doi.org/10.1145/68012.68014openalex-snapshot
Automatic verification of database transaction safety
inferredcites →https://doi.org/10.1145/73560.73566openalex-snapshot
Structural subtyping and the notion of power type
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.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-44751-2_24openalex-snapshot
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions
inferred← citeshttps://doi.org/10.1007/3-540-46466-2_7openalex-snapshot
Nested Transactions with Integrity Constraints
inferred← citeshttps://doi.org/10.1007/3-540-48252-0_2openalex-snapshot
A Family of the ODMG Object Models
inferred← citeshttps://doi.org/10.1007/3-540-61442-7_4openalex-snapshot
Integrity constraints in multiversion databases
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_33openalex-snapshot
A temporal constraint system for object-oriented databases
inferred← citeshttps://doi.org/10.1007/3-540-62501-1_34openalex-snapshot
Using database versions to implement temporal integrity constraints
inferred← citeshttps://doi.org/10.1007/3-540-64823-2_22openalex-snapshot
Automatic verification of transactions on an object-oriented database
inferred← citeshttps://doi.org/10.1007/978-3-540-24607-7_6openalex-snapshot
Consistency of Java Transactions
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-22655-7_23openalex-snapshot
Maintaining Database Integrity with Refinement Types
inferred← citeshttps://doi.org/10.1007/978-3-662-44471-9_12openalex-snapshot
Verifiable Object-Oriented Transactions
inferred← citeshttps://doi.org/10.1007/bfb0053374openalex-snapshot
Static integrity constraint management in object-oriented database programming languages via predicate transformers
inferred← citeshttps://doi.org/10.1007/bfb0100993openalex-snapshot
Static management of integrity in object-oriented databases: Design and implementation
inferred← citeshttps://doi.org/10.1007/s00450-004-0161-9openalex-snapshot
Formale Konsistenzsicherung in informellen Software-Spezifikationen
inferred← citeshttps://doi.org/10.1109/dexa.1996.558288openalex-snapshot
Integrity checking for nested transactions
inferred← citeshttps://doi.org/10.1109/icpc.2017.37openalex-snapshot
Automatically Detecting Integrity Violations in Database-Centric Applications
inferred← citeshttps://doi.org/10.1145/958220.958246openalex-snapshot
Consistent document engineering
inferred← citeshttps://doi.org/10.1145/958243.958246openalex-snapshot
Consistent document engineering
inferred← citeshttps://doi.org/10.25904/1912/2990openalex-snapshot
Program Transformation for Proving Database Transaction Safety
inferred← citeshttps://doi.org/10.3233/fun-2006-71402openalex-snapshot
On Simplification of Database Integrity Constraints
inferred← citeshttps://doi.org/10.3990/1.9789036513555openalex-snapshot
Verification support for object database design
inferred← citeshttps://doi.org/10.5555/2032497.2032530openalex-snapshot
Maintaining database integrity with refinement types
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.