On the public citation graph

A logic-based integration of active and deductive databases

https://doi.org/10.1007/bf03037238
0 signed · 75 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-55681-8_32openalex-snapshot
Logic and databases
inferredcites →https://doi.org/10.1007/3-540-57530-8openalex-snapshot
Deductive and Object-Oriented Databases
inferredcites →https://doi.org/10.1007/3-540-57530-8_13openalex-snapshot
Negation and aggregates in recursive rules: the LDL++ approach
inferredcites →https://doi.org/10.1007/3-540-61442-7_3openalex-snapshot
An active rule language for ROCK & ROLL
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7openalex-snapshot
Rules in Database Systems
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_16openalex-snapshot
A Unified Semantics for Active and Deductive Databases
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_17openalex-snapshot
Integrating Active and Deductive Rules
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_18openalex-snapshot
Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_19openalex-snapshot
A Framework for Supporting Triggers in Deductive Databases
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_2openalex-snapshot
Events in an Active Object-Oriented Database System
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_3openalex-snapshot
Dimensions of Active Behaviour
inferredcites →https://doi.org/10.1007/978-1-4471-3225-7_7openalex-snapshot
Rules in an Open System: The REACH Rule System
inferredcites →https://doi.org/10.1007/978-1-4612-5196-5_8openalex-snapshot
Towards a Logical Reconstruction of Relational Database Theory
inferredcites →https://doi.org/10.1007/978-1-4615-5265-9openalex-snapshot
The Object-Z Specification Language
inferredcites →https://doi.org/10.1007/978-3-642-83952-8openalex-snapshot
Logic Programming and Databases
inferredcites →https://doi.org/10.1007/bf01228879openalex-snapshot
The Glue-Nail deductive database system: Design, implementation, and evaluation
inferredcites →https://doi.org/10.1007/bf01228880openalex-snapshot
The CORAL deductive system
inferredcites →https://doi.org/10.1007/bf01228882openalex-snapshot
The aditi deductive database system
inferredcites →https://doi.org/10.1007/bf03037383openalex-snapshot
A Logic-based Calculus of Events
inferredcites →https://doi.org/10.1016/0004-3702(82)90020-0openalex-snapshot
Rete: A fast algorithm for the many pattern/many object pattern match problem
inferredcites →https://doi.org/10.1016/0169-023x(94)90006-xopenalex-snapshot
Snoop: An expressive event specification language for active databases
inferredcites →https://doi.org/10.1016/0306-4379(95)00009-sopenalex-snapshot
Design and implementation of ROCK & ROLL: A deductive object-oriented database system
inferredcites →https://doi.org/10.1016/0743-1066(92)90041-zopenalex-snapshot
Database updates in the event calculus
inferredcites →https://doi.org/10.1016/0898-1221(95)90258-9openalex-snapshot
Foundations of databases
inferredcites →https://doi.org/10.1016/0950-5849(94)00013-iopenalex-snapshot
A structured specification of an active database system
inferredcites →https://doi.org/10.1016/c2009-0-12778-2openalex-snapshot
Deductive and Object-Oriented Databases
inferredcites →https://doi.org/10.1017/s0269888900000126openalex-snapshot
An overview of production rules in database systems
inferredcites →https://doi.org/10.1017/s0269888900000138openalex-snapshot
State-of-the-art report on reactive processing in databases and artificial intelligence
inferredcites →https://doi.org/10.1109/52.56451openalex-snapshot
Algres: an advanced database system for complex applications
inferredcites →https://doi.org/10.1142/s0218194097000059openalex-snapshot
Specifying Active Database Systems in an Object-Oriented Framework
inferredcites →https://doi.org/10.1145/125223.125262openalex-snapshot
The POSTGRES next generation database management system
inferredcites →https://doi.org/10.1145/125223.125266openalex-snapshot
Extensions to Starburst
inferredcites →https://doi.org/10.1145/130283.130300openalex-snapshot
Event specification in an active object-oriented database
inferredcites →https://doi.org/10.1145/356924.356929openalex-snapshot
Logic and Databases: A Deductive Approach
inferredcites →https://doi.org/10.1145/359080.359090openalex-snapshot
Logic and semantic networks
inferredcites →https://doi.org/10.1145/44203.44208openalex-snapshot
The HiPAC project: combining active databases and timing constraints
inferredcites →https://doi.org/10.1145/66926.66930openalex-snapshot
ODE (Object Database and Environment): the language and the data model
inferredcites →https://doi.org/10.1145/67544.66930openalex-snapshot
ODE (Object Database and Environment): the language and the data model
inferredcites →https://doi.org/10.1145/71031.71033openalex-snapshot
An initial report on the design of Ariel DBMS with an integrated production rule system
inferredcites →https://doi.org/10.5860/choice.27-0349openalex-snapshot
A logical language for data and knowledge bases

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-60365-4_117openalex-snapshot
Formal specification of active database functionality: A survey
inferred← citeshttps://doi.org/10.1007/3-540-61442-7_3openalex-snapshot
An active rule language for ROCK & ROLL
inferred← citeshttps://doi.org/10.1007/3-540-63107-0_29openalex-snapshot
Semantics of reactive components in event-driven workflow execution
inferred← citeshttps://doi.org/10.1007/3-540-63107-0_3openalex-snapshot
Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_15openalex-snapshot
Integrating dynamic aspects into deductive object-oriented databases
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_18openalex-snapshot
Logging and post-mortem analysis of workflow executions based on event histories
inferred← citeshttps://doi.org/10.1007/3-540-63774-5_113openalex-snapshot
From OO through deduction to active databases — ROCK, ROLL & RAP
inferred← citeshttps://doi.org/10.1007/3-540-63792-3_19openalex-snapshot
Formal characterizations of active databases: Part II
inferred← citeshttps://doi.org/10.1007/978-0-387-71003-7openalex-snapshot
Stream Data Processing: A Quality of Service Perspective
inferred← citeshttps://doi.org/10.1007/978-1-4419-8656-6_9openalex-snapshot
Comparing Deductive and Active Databases
inferred← citeshttps://doi.org/10.1007/978-1-4615-5643-5_12openalex-snapshot
On Logical Foundations of Active Databases
inferred← citeshttps://doi.org/10.1007/978-3-540-24607-7_8openalex-snapshot
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-05082-4_1openalex-snapshot
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_8openalex-snapshot
Reactive Event Calculus for Monitoring Global Computing Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-32689-9_12openalex-snapshot
A Rule-Based Calculus and Processing of Complex Events
inferred← citeshttps://doi.org/10.1007/bfb0055496openalex-snapshot
On active deductive databases: The statelog approach
inferred← citeshttps://doi.org/10.1007/bfb0055497openalex-snapshot
Active-U-Datalog: Integrating active rules in a logical update language
inferred← citeshttps://doi.org/10.1007/s00354-015-0103-zopenalex-snapshot
Reactive Computing as Model Generation
inferred← citeshttps://doi.org/10.1007/s10844-007-0050-3openalex-snapshot
Specifying active databases as non-Markovian theories of actions
inferred← citeshttps://doi.org/10.1016/j.datak.2011.09.001openalex-snapshot
Formal enforcement and management of obligation policies
inferred← citeshttps://doi.org/10.1016/j.ins.2005.10.007openalex-snapshot
Formalizing the specification and execution of workflows using the event calculus
inferred← citeshttps://doi.org/10.1016/s0306-4379(98)00008-8openalex-snapshot
Formalizing and validating behavioral models through the event calculus
inferred← citeshttps://doi.org/10.1016/s0306-4379(98)00011-8openalex-snapshot
Defining the semantics of reactive components in event-driven workflow execution with event histories
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00024-2openalex-snapshot
A logical approach to cooperative information systems
inferred← citeshttps://doi.org/10.1016/s0925-2312(01)00687-7openalex-snapshot
Analysis and optimization of active databases
inferred← citeshttps://doi.org/10.1017/s1471068416000041openalex-snapshot
Programming in logic without logic programming
inferred← citeshttps://doi.org/10.1017/s147106842100051xopenalex-snapshot
Reactive Answer Set Programming
inferred← citeshttps://doi.org/10.1109/69.868909openalex-snapshot
Trigger inheritance and overriding in an active object database system
inferred← citeshttps://doi.org/10.1145/311531.311623openalex-snapshot
Active database systems
inferred← citeshttps://doi.org/10.14236/ewic/adbis1996.9openalex-snapshot
On Harmonically Combining Active, Object-Oriented, and Deductive Databases
inferred← citeshttps://doi.org/10.3233/fi-2010-361openalex-snapshot
A Logic-Based, Reactive Calculus of Events
inferred← citeshttps://doi.org/10.4204/eptcs.69.5openalex-snapshot
Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs
inferred← citeshttps://doi.org/10.48550/arxiv.1301.6905openalex-snapshot
Towards a Logic-Based Unifying Framework for Computing
inferred← citeshttps://doi.org/10.5282/ubm/epub.14897openalex-snapshot
Temporal Data Modeling and Reasoning for Information Systems
inferred← citeshttps://doi.org/10.6092/unibo/amsdottorato/5753openalex-snapshot
Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework
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.