On the public citation graph

DECLARE and SDS: Early efforts to commercialize deductive database technology

https://doi.org/10.1007/bf01228881
0 signed · 47 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_104openalex-snapshot
Design overview of the NAIL! System
inferredcites →https://doi.org/10.1007/3-540-57530-8_3openalex-snapshot
The differential fixpoint operator with subsumption
inferredcites →https://doi.org/10.1007/978-1-4612-4980-1_17openalex-snapshot
Naive Evaluation of Recursively Defined Relations
inferredcites →https://doi.org/10.1007/978-3-642-70840-4_1openalex-snapshot
Database Technology for Expert Systems
inferredcites →https://doi.org/10.1007/978-3-642-72617-0_1openalex-snapshot
Deduktions- und Datenbankunterstützung für Expertensysteme
inferredcites →https://doi.org/10.1007/978-3-642-74571-3_16openalex-snapshot
DBA*: Solving Combinatorial Problems with Deductive Databases
inferredcites →https://doi.org/10.1007/978-3-642-83952-8openalex-snapshot
Logic Programming and Databases
inferredcites →https://doi.org/10.1016/0743-1066(87)90004-5openalex-snapshot
A generalization of the differential approach to recursive query evaluation
inferredcites →https://doi.org/10.1016/0743-1066(91)90038-qopenalex-snapshot
On the power of magic
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-1-4832-1313-2.50009-3openalex-snapshot
AN AIRTRAVEL EXPERT DATABASE
inferredcites →https://doi.org/10.1016/c2013-0-07699-2openalex-snapshot
Foundations of Deductive Databases and Logic Programming
inferredcites →https://doi.org/10.1109/icde.1987.7272365openalex-snapshot
On the evaluation of recursion in (deductive) database systems by efficient differential fixpoint iteration
inferredcites →https://doi.org/10.1109/icde.1991.131471openalex-snapshot
Design overview of the Aditi deductive database system
inferredcites →https://doi.org/10.1145/115790.115840openalex-snapshot
Glue-Nail
inferredcites →https://doi.org/10.1145/131214.131269openalex-snapshot
Communicating control knowledge to a deductive database system
inferredcites →https://doi.org/10.1145/141818.141824openalex-snapshot
A complex benchmark for logic programming and deductive databases, or who can beat the N-queens?
inferredcites →https://doi.org/10.1145/16856.16870openalex-snapshot
A message passing framework for logical query evaluation
inferredcites →https://doi.org/10.1145/16894.16870openalex-snapshot
A message passing framework for logical query evaluation
inferredcites →https://doi.org/10.1145/28659.28689openalex-snapshot
On the power of magic
inferredcites →https://doi.org/10.1145/308386.308420openalex-snapshot
Optimizing existential datalog queries
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language
inferredcites →https://doi.org/10.1145/33447.33448openalex-snapshot
Generality in artificial intelligence
inferredcites →https://doi.org/10.1145/356924.356929openalex-snapshot
Logic and Databases: A Deductive Approach
inferredcites →https://doi.org/10.1145/3979.3980openalex-snapshot
Implementation of logical query languages for databases
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.1145/93597.98734openalex-snapshot
Magic is relevant
inferredcites →https://doi.org/10.13140/2.1.3501.8569openalex-snapshot
Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.
inferredcites →https://doi.org/10.5860/choice.26-5107openalex-snapshot
Principles of database and knowledge-base systems
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.1002/spe.378openalex-snapshot
The Relationlog system prototype
inferred← citeshttps://doi.org/10.1007/3-540-57530-8_3openalex-snapshot
The differential fixpoint operator with subsumption
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/bfb0031734openalex-snapshot
Logic and databases: A 20 year retrospective
inferred← citeshttps://doi.org/10.1007/s11301-025-00559-9openalex-snapshot
Navigating the productization landscape: a systematic literature review approach
inferred← citeshttps://doi.org/10.1016/0743-1066(94)00039-9openalex-snapshot
A survey of deductive 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.ijpe.2015.02.024openalex-snapshot
Productisation: A review and research agenda
inferred← citeshttps://doi.org/10.1109/aswec.2015.15openalex-snapshot
A Datalog Source-to-Source Translator for Static Program Analysis: An Experience Report
inferred← citeshttps://doi.org/10.1109/dexa.1998.707505openalex-snapshot
Design and implementation of the Relationlog deductive database system
inferred← citeshttps://doi.org/10.1145/170035.170067openalex-snapshot
Implementation of the CORAL deductive database system
inferred← citeshttps://doi.org/10.1145/170036.170067openalex-snapshot
Implementation of the CORAL deductive database system
inferred← citeshttps://doi.org/10.1145/311531.311533openalex-snapshot
Deductive database languages
inferred← citeshttps://doi.org/10.1145/335527.335529openalex-snapshot
Cost-based query optimization for metadata repositories
inferred← citeshttps://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot
Logic and Databases Past, Present, and Future
inferred← citeshttps://doi.org/10.18452/2456openalex-snapshot
Implementing Linguistic Query Languages Using LoToS
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.