On the public citation graph

Specification and verification of database dynamics

https://doi.org/10.1007/bf00291052
0 signed · 59 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-11205-7openalex-snapshot
Verifying Concurrent Processes Using Temporal Logic
inferredcites →https://doi.org/10.1007/3-540-51803-7_33openalex-snapshot
Abstract object types: A temporal perspective
inferredcites →https://doi.org/10.1007/978-3-0346-0145-0_26openalex-snapshot
Introducing Institutions
inferredcites →https://doi.org/10.1007/978-3-642-70592-2openalex-snapshot
Formal Techniques for Data Base Design
inferredcites →https://doi.org/10.1007/978-3-642-83397-7openalex-snapshot
Foundations of Knowledge Base Management
inferredcites →https://doi.org/10.1007/978-3-642-83397-7_5openalex-snapshot
Abstraction and Inference Mechanisms for Knowledge Representation
inferredcites →https://doi.org/10.1007/bf00289062openalex-snapshot
The ?Hoare logic? of concurrent programs
inferredcites →https://doi.org/10.1016/0004-3702(84)90008-0openalex-snapshot
Towards a general theory of action and time
inferredcites →https://doi.org/10.1016/0011-684x(85)90108-xopenalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1016/0167-8051(84)90022-6openalex-snapshot
Concepts and terminology for the conceptual schema and the information base
inferredcites →https://doi.org/10.1016/0304-3975(81)90110-9openalex-snapshot
The temporal semantics of concurrent programs
inferredcites →https://doi.org/10.1016/0306-4379(80)90009-5openalex-snapshot
Temporal aspects of logical procedure definition
inferredcites →https://doi.org/10.1016/0306-4379(83)90025-xopenalex-snapshot
BASIS: A behavioral approach to the specification of information systems
inferredcites →https://doi.org/10.1016/0306-4379(84)90015-2openalex-snapshot
Towards multi-level and modular conceptual schema specifications
inferredcites →https://doi.org/10.1016/0306-4379(86)90023-2openalex-snapshot
The INFOLOG linear tense propositional logic of events and transactions
inferredcites →https://doi.org/10.1016/0378-4754(83)90038-1openalex-snapshot
The correctness problem in computer science
inferredcites →https://doi.org/10.1016/0378-4754(85)90017-5openalex-snapshot
Information processing '83
inferredcites →https://doi.org/10.1016/0378-7206(86)90075-3openalex-snapshot
Information systems design methodologies
inferredcites →https://doi.org/10.1016/s0364-0213(82)90003-9openalex-snapshot
A temporal logic for reasoning about processes and plans
inferredcites →https://doi.org/10.1109/sfcs.1977.32openalex-snapshot
The temporal logic of programs
inferredcites →https://doi.org/10.1109/vldb.1979.718140openalex-snapshot
Tools For Information System Dynamics Management
inferredcites →https://doi.org/10.1111/j.1468-0149.1969.tb00005.xopenalex-snapshot
AN INTRODUCTION TO MODAL LOGIC
inferredcites →https://doi.org/10.1145/357172.357178openalex-snapshot
Proving Liveness Properties of Concurrent Programs
inferredcites →https://doi.org/10.1145/357233.357237openalex-snapshot
Synthesis of Communicating Processes from Temporal Logic Specifications
inferredcites →https://doi.org/10.1145/357980.358001openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/610937.610967openalex-snapshot
An abstract formulation of data processing problems
inferredcites →https://doi.org/10.1145/800057.808665openalex-snapshot
Now you may compose temporal logic specifications
inferredcites →https://doi.org/10.1145/828.833openalex-snapshot
A Theory of Communicating Sequential Processes
inferredcites →https://doi.org/10.1207/s15516709cog0602_1openalex-snapshot
A Temporal Logic for Reasoning about Processes and Plans*
inferredcites →https://doi.org/10.21236/ada106750openalex-snapshot
Verification of Concurrent Programs. Part I. The Temporal Framework,
inferredcites →https://doi.org/10.4102/sajr.v4i1.1544openalex-snapshot
Past, Present and Future

What points at this work

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

inferred← citeshttps://doi.org/10.1002/047134608x.w4303openalex-snapshot
Database Design
inferred← citeshttps://doi.org/10.1007/3-540-51251-9_23openalex-snapshot
A specification language for static, dynamic and deontic integrity constraints
inferred← citeshttps://doi.org/10.1007/3-540-51803-7_33openalex-snapshot
Abstract object types: A temporal perspective
inferred← citeshttps://doi.org/10.1007/3-540-53557-8_28openalex-snapshot
Conceptual modeling of database applications
inferred← citeshttps://doi.org/10.1007/3-540-56777-1_1openalex-snapshot
Consistent structural updates for object database design
inferred← citeshttps://doi.org/10.1007/3-540-57287-2_40openalex-snapshot
Semantics of interworking knowledge based systems
inferred← citeshttps://doi.org/10.1007/3-540-58113-8_170openalex-snapshot
Dynamic modelling with events
inferred← citeshttps://doi.org/10.1007/3-540-58435-8_194openalex-snapshot
An algebraic language for event-driven modelling
inferred← citeshttps://doi.org/10.1007/3-540-58907-4_24openalex-snapshot
A first step towards implementing dynamic algebraic dependencies
inferred← citeshttps://doi.org/10.1007/978-1-4471-3554-8_12openalex-snapshot
Monitoring Temporal Permissions using Partially Evaluated Transition Graphs
inferred← citeshttps://doi.org/10.1007/978-1-4471-3864-8_15openalex-snapshot
The Reification Dimension in Object-oriented Data Base Design
inferred← citeshttps://doi.org/10.1007/bf00370673openalex-snapshot
Deontic database constraints, violation and recovery
inferred← citeshttps://doi.org/10.1007/bf01212961openalex-snapshot
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bf01888216openalex-snapshot
Branching versus linear logics yet again
inferred← citeshttps://doi.org/10.1007/bf01893887openalex-snapshot
Theoretical foundations of handling large substitution sets in temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bfb0019447openalex-snapshot
Describing, structuring and implementing objects
inferred← citeshttps://doi.org/10.1007/bfb0022184openalex-snapshot
Representation of the historical information necessary for temporal integrity monitoring
inferred← citeshttps://doi.org/10.1007/bfb0026308openalex-snapshot
Using finite-linear temporal logic for specifying database dynamics
inferred← citeshttps://doi.org/10.1016/0169-023x(89)90038-4openalex-snapshot
Specifying dynamic and deontic integrity constraints
inferred← citeshttps://doi.org/10.1016/0169-023x(91)90015-popenalex-snapshot
Descriptive specification of database object behaviour
inferred← citeshttps://doi.org/10.1016/0169-023x(91)90025-sopenalex-snapshot
Towards object-oriented conceptual modeling
inferred← citeshttps://doi.org/10.1016/0169-023x(92)90008-yopenalex-snapshot
Conceptual modelling of database applications using an extended ER model
inferred← citeshttps://doi.org/10.1016/0169-023x(96)00004-3openalex-snapshot
A temporal logic approach to object certification
inferred← citeshttps://doi.org/10.1016/0306-4379(86)90023-2openalex-snapshot
The INFOLOG linear tense propositional logic of events and transactions
inferred← citeshttps://doi.org/10.1016/0306-4379(91)90001-popenalex-snapshot
Formal techniques for systems specification and verification
inferred← citeshttps://doi.org/10.1016/s0304-3975(97)00088-1openalex-snapshot
A first step towards implementing dynamic algebraic dependences
inferred← citeshttps://doi.org/10.1109/cmpass.1989.76042openalex-snapshot
Techniques for data and rule validation in knowledge based systems
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.