On the public citation graph

Formal characterization of active databases

0 signed · 60 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-60608-4_34openalex-snapshot

Active database rules with transaction-conscious stable-model semantics

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.1016/0743-1066(95)00049-popenalex-snapshot

On specifying database updates

inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50014-2openalex-snapshot

A Logic-based Language for Database Updates

inferredcites →https://doi.org/10.1016/b978-1-4832-1452-8.50127-5openalex-snapshot

Actions with Indirect Effects (Preliminary Report)

inferredcites →https://doi.org/10.1016/s0743-1066(96)00140-9openalex-snapshot

Reasoning about effects of concurrent actions

inferredcites →https://doi.org/10.1016/s0743-1066(96)00141-0openalex-snapshot

Representing actions: Laws, observations and hypotheses

inferredcites →https://doi.org/10.1093/llc/8.4.309openalex-snapshot

Journal of Logic Programming

inferredcites →https://doi.org/10.1093/logcom/4.5.655openalex-snapshot

State Constraints Revisited

inferredcites →https://doi.org/10.1145/140979.140980openalex-snapshot

A denotational semantics for the Starburst production rule language

inferredcites →https://doi.org/10.1145/223784.223844openalex-snapshot

Temporal conditions and integrity constraints in active database systems

inferredcites →https://doi.org/10.1145/298514.298572openalex-snapshot

Stable models and non-determinism in logic programs with negation

inferredcites →https://doi.org/10.2307/j.ctv16757zv.15openalex-snapshot

The Ariel Project:

What points at this work

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

inferred← citeshttps://doi.org/10.1007/10722620_1openalex-snapshot

Formalizing (and Reasoning about) the Specifications of Workflows

inferred← citeshttps://doi.org/10.1007/11853886_5openalex-snapshot

An Event-Condition-Action Logic Programming Language

inferred← citeshttps://doi.org/10.1007/3-540-44957-4_58openalex-snapshot

On Complexity of Updates through Integrity Constraints

inferred← citeshttps://doi.org/10.1007/3-540-44957-4_81openalex-snapshot

Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases

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/3-540-63792-3_5openalex-snapshot

From action theories to updates, transactions, triggers and agents — A tutorial

inferred← citeshttps://doi.org/10.1007/978-1-4615-5137-9_3openalex-snapshot

Deontic Action Programs

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-04985-9_8openalex-snapshot

Rule-Based Event Processing and Reaction Rules

inferred← citeshttps://doi.org/10.1007/978-3-642-19348-4_15openalex-snapshot

MIRAGE: A Management Tool for the Analysis and Deployment of Network Security Policies

inferred← citeshttps://doi.org/10.1007/978-3-642-60211-5_18openalex-snapshot

Logic and Databases: a 20 Year Retrospective -Updated in Honor of Ray Reiter

inferred← citeshttps://doi.org/10.1007/bfb0031733openalex-snapshot

Logic in Databases

inferred← citeshttps://doi.org/10.1007/bfb0031734openalex-snapshot

Logic and databases: A 20 year retrospective

inferred← citeshttps://doi.org/10.1007/bfb0054542openalex-snapshot

Declarative semantics for active rules

inferred← citeshttps://doi.org/10.1007/bfb0055496openalex-snapshot

On active deductive databases: The statelog approach

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.jss.2011.02.005openalex-snapshot

Dynamic deployment of context-aware access control policies for constrained security devices

inferred← citeshttps://doi.org/10.1016/s0004-3702(01)00052-2openalex-snapshot

Temporal agent programs

inferred← citeshttps://doi.org/10.1016/s0004-3702(02)00183-2openalex-snapshot

LUPS—A language for updating logic programs

inferred← citeshttps://doi.org/10.1016/s0004-3702(98)00070-8openalex-snapshot

Formalizing narratives using nested circumscription

inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00005-3openalex-snapshot

Heterogeneous active agents, I: Semantics

inferred← citeshttps://doi.org/10.1017/s1471068400001009openalex-snapshot

Declarative semantics for active rules

inferred← citeshttps://doi.org/10.1109/ares.2010.45openalex-snapshot

Architecture-Aware Adaptive Deployment of Contextual Security Policies

inferred← citeshttps://doi.org/10.1109/dexa.2003.1232136openalex-snapshot

Triggers and continuous queries in moving objects databases

inferred← citeshttps://doi.org/10.1109/hase.2011.17openalex-snapshot

Verification of Interoperability Security Policies by Model Checking

inferred← citeshttps://doi.org/10.1109/icdim.2009.5356768openalex-snapshot

From state-based to event-based contextual security policies

inferred← citeshttps://doi.org/10.1109/nca.2009.53openalex-snapshot

A Case for Meta-Triggers in Wireless Sensor Networks

inferred← citeshttps://doi.org/10.1109/nss.2010.80openalex-snapshot

Risk-Aware Framework for Activating and Deactivating Policy-Based Response

inferred← citeshttps://doi.org/10.1109/policy.2009.10openalex-snapshot

Formalization and Management of Group Obligations

inferred← citeshttps://doi.org/10.1109/sccc.1998.730780openalex-snapshot

Specifying active databases in the situation calculus

inferred← citeshttps://doi.org/10.1109/tkde.2003.1185841openalex-snapshot

Static analysis of logical languages with deferred update semantics

inferred← citeshttps://doi.org/10.1142/s021884300100045xopenalex-snapshot

FORMALIZING AND REASONING ABOUT THE REQUIREMENTS SPECIFICATIONS OF WORKFLOW SYSTEMS

inferred← citeshttps://doi.org/10.1145/1533057.1533092openalex-snapshot

Semantic context aware security policy deployment

inferred← citeshttps://doi.org/10.1145/344287.344298openalex-snapshot

TRBAC

inferred← citeshttps://doi.org/10.1145/501978.501979openalex-snapshot

TRBAC

inferred← citeshttps://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot

Logic and Databases Past, Present, and Future

inferred← citeshttps://doi.org/10.3233/ia-2011-0007openalex-snapshot

Evolving reactive logic programs

inferred← citeshttps://doi.org/10.3233/jcs-2012-0459openalex-snapshot

Formal specification and management of security policies with collective group obligations

inferred← citeshttps://doi.org/10.4018/978-1-4666-2163-3.ch007openalex-snapshot

An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations

inferred← citeshttps://doi.org/10.4018/jmcmc.2011040103openalex-snapshot

An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0312042openalex-snapshot

Declarative Semantics for Active Rules

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0609119openalex-snapshot

Verification, Validation and Integrity of Distributed and Interchanged Rule Based Policies and Contracts in the Semantic Web

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0610167openalex-snapshot

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

inferred← citeshttps://doi.org/10.48550/arxiv.cs/0611047openalex-snapshot

The Reaction RuleML Classification of the Event / Action / State Processing and Reasoning Space

inferred← citeshttps://doi.org/10.7551/mitpress/3487.001.0001openalex-snapshot

Heterogeneous Agent 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.