On the public citation graph

An introduction to deductive database languages and systems

https://doi.org/10.1007/bf01228878
0 signed · 62 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-16492-8_66openalex-snapshot
OLD resolution with tabulation
inferredcites →https://doi.org/10.1007/3-540-17187-8_28openalex-snapshot
The generalized counting method for recursive logic queries
inferredcites →https://doi.org/10.1007/3-540-51295-0_140openalex-snapshot
Advances in the design of the BANG file
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/978-1-4684-3384-5_11openalex-snapshot
Negation as Failure
inferredcites →https://doi.org/10.1007/978-3-642-83189-8openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/978-3-642-96826-6openalex-snapshot
Foundations of Logic Programming
inferredcites →https://doi.org/10.1007/bf01932293openalex-snapshot
Horn clause computability
inferredcites →https://doi.org/10.1007/bfb0013086openalex-snapshot
MegaLog — A platform for developing knowledge base management systems
inferredcites →https://doi.org/10.1016/0167-9236(86)90084-9openalex-snapshot
Recursive axioms in deductive databases: The query/subquery approach
inferredcites →https://doi.org/10.1016/0304-3975(86)90015-0openalex-snapshot
The generalized counting method for recursive logic queries
inferredcites →https://doi.org/10.1016/0304-3975(89)90088-1openalex-snapshot
Recursive query processing: the power of logic
inferredcites →https://doi.org/10.1016/0743-1066(85)90002-0openalex-snapshot
Horn clause queries and generalizations
inferredcites →https://doi.org/10.1016/0743-1066(91)90030-sopenalex-snapshot
Efficient bottom-up computation of queries on stratified databases
inferredcites →https://doi.org/10.1016/0743-1066(94)00039-9openalex-snapshot
A survey of deductive database systems
inferredcites →https://doi.org/10.1016/b978-0-444-88433-6.50015-0openalex-snapshot
On Deductive Query Evaluation in the DedGin* System
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50006-3openalex-snapshot
Towards a Theory of Declarative Knowledge
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50009-9openalex-snapshot
On the Declarative Semantics of Deductive Databases and Logic Programs
inferredcites →https://doi.org/10.1016/b978-0-934613-40-8.50016-6openalex-snapshot
Performance Evaluation of Data Intensive Logic Programs
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1109/69.50910openalex-snapshot
Starburst mid-flight: as the dust clears (database project)
inferredcites →https://doi.org/10.1109/icde.1988.105465openalex-snapshot
A production rule based approach to deductive databases
inferredcites →https://doi.org/10.1142/9789814503624_0038openalex-snapshot
CONSTRAINTS FOR QUERY OPTIMIZATION IN DEDUCTIVE DATABASES
inferredcites →https://doi.org/10.1145/103140.103141openalex-snapshot
A rule-based language with functions and sets
inferredcites →https://doi.org/10.1145/115302.115298openalex-snapshot
Reactive consistency control in deductive databases
inferredcites →https://doi.org/10.1145/116825.116838openalex-snapshot
The well-founded semantics for general logic programs
inferredcites →https://doi.org/10.1145/131295.131299openalex-snapshot
Memoing for logic programs
inferredcites →https://doi.org/10.1145/170035.171537openalex-snapshot
Hy+
inferredcites →https://doi.org/10.1145/191839.191860openalex-snapshot
Implementation of magic-sets in a relational database system
inferredcites →https://doi.org/10.1145/28659.28689openalex-snapshot
On the power of magic
inferredcites →https://doi.org/10.1145/298514.298558openalex-snapshot
Modular stratification and magic sets for DATALOG programs with negation
inferredcites →https://doi.org/10.1145/38713.38725openalex-snapshot
Magic counting methods
inferredcites →https://doi.org/10.1145/6012.15399openalex-snapshot
Magic sets and other strange ways to implement logic programs (extended abstract)
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/11926078_32openalex-snapshot
Ontology Query Answering on Databases
inferred← citeshttps://doi.org/10.1007/3-540-64383-4_32openalex-snapshot
Towards real time discovery from distributed information sources
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-319-17996-4_32openalex-snapshot
Query-Subquery Nets with Stratified Negation
inferred← citeshttps://doi.org/10.1007/978-3-540-31954-2_24openalex-snapshot
An Ontology-Based Approach to Heterogeneous Verification of Embedded Control Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-45284-0_7openalex-snapshot
Formalizing a Broader Recursion Coverage in SQL
inferred← citeshttps://doi.org/10.1007/bfb0023083openalex-snapshot
Configuring versioned software products
inferred← citeshttps://doi.org/10.1007/bfb0055496openalex-snapshot
On active deductive databases: The statelog approach
inferred← citeshttps://doi.org/10.1007/s10115-002-8191-8openalex-snapshot
Distributed Mining of Classification Rules
inferred← citeshttps://doi.org/10.1016/j.cogsys.2023.05.002openalex-snapshot
A framework for cognitive chatbots based on abductive–deductive inference
inferred← citeshttps://doi.org/10.1016/j.ic.2019.104485openalex-snapshot
HR-SQL: Extending SQL with hypothetical reasoning and improved recursion for current database systems
inferred← citeshttps://doi.org/10.1016/j.ijinfomgt.2003.09.005openalex-snapshot
The furniture company: deductive databases and the scheduling problem
inferred← citeshttps://doi.org/10.1016/j.is.2016.01.004openalex-snapshot
CyLog/Game aspect: An approach to separation of concerns in crowdsourced data management
inferred← citeshttps://doi.org/10.1016/j.jlap.2013.07.002openalex-snapshot
An extended constraint deductive database: Theory and implementation
inferred← citeshttps://doi.org/10.1080/01969722.2016.1276777openalex-snapshot
Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics
inferred← citeshttps://doi.org/10.1109/32.988710openalex-snapshot
A layered architecture for uniform version management
inferred← citeshttps://doi.org/10.1109/icsmc.2006.385077openalex-snapshot
Towards Top-k Query Answering in Deductive Databases
inferred← citeshttps://doi.org/10.1109/wimob.2008.22openalex-snapshot
A System for Using Wireless Sensor Networks as Globally Deductive Databases
inferred← citeshttps://doi.org/10.1134/s0361768809050016openalex-snapshot
Conceptual and ontological modeling in information systems
inferred← citeshttps://doi.org/10.1134/s0361768812040032openalex-snapshot
Ontology-based data access systems
inferred← citeshttps://doi.org/10.1145/1345375.1345416openalex-snapshot
Prolog as the first programming language
inferred← citeshttps://doi.org/10.1145/280277.280280openalex-snapshot
Version models for software configuration management
inferred← citeshttps://doi.org/10.1155/2012/171738openalex-snapshot
Logic Macroprogramming for Wireless Sensor Networks
inferred← citeshttps://doi.org/10.1155/2012/310271openalex-snapshot
Ubiquitous Sensor Networks and Its Application
inferred← citeshttps://doi.org/10.14711/thesis-b627670openalex-snapshot
Knowledge discovery from distributed and textual data
inferred← citeshttps://doi.org/10.14778/3282495.3282500openalex-snapshot
Automatic index selection for large-scale datalog computation
inferred← citeshttps://doi.org/10.3233/inf-1998-9105openalex-snapshot
Handling Termination in a Logical Language for Active Rules
inferred← citeshttps://doi.org/10.48550/arxiv.1709.03685openalex-snapshot
Optimal On The Fly Index Selection in Polynomial Time
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.