On the public citation graph
The CORAL deductive system
0 signed · 97 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.
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.
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-55015-1_7openalex-snapshot
Non-determinism in deductive databases
inferredcites →https://doi.org/10.1007/3-540-57530-8_7openalex-snapshot
Explaining program execution in deductive systems
inferredcites →https://doi.org/10.1007/3-540-57877-3_26openalex-snapshot
Solving demand versions of interprocedural analysis problems
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-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/978-3-662-09507-2_22openalex-snapshot
The C Programming Language
inferredcites →https://doi.org/10.1007/bf03037339openalex-snapshot
Towards an efficient evaluation of recursive aggregates in deductive databases
inferredcites →https://doi.org/10.1007/bf03037407openalex-snapshot
The Alexander Method — A technique for the processing of recursive axioms in deductive databases
inferredcites →https://doi.org/10.1007/springerreference_61847openalex-snapshot
Constraint Query Languages
inferredcites →https://doi.org/10.1016/0304-3975(94)00186-mopenalex-snapshot
Argument reduction by factoring
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)90026-lopenalex-snapshot
Magic templates: a spellbinding approach to logic programs
inferredcites →https://doi.org/10.1016/0743-1066(91)90036-oopenalex-snapshot
Set constructors in a logic database language
inferredcites →https://doi.org/10.1016/0743-1066(92)90040-aopenalex-snapshot
Compilation of set terms in the logic data language (LDL)
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.1109/69.298169openalex-snapshot
Rule ordering in bottom-up fixpoint evaluation of logic programs
inferredcites →https://doi.org/10.1109/icde.1991.131471openalex-snapshot
Design overview of the Aditi deductive database system
inferredcites →https://doi.org/10.1145/113413.113422openalex-snapshot
Modular acyclicity and tail recursion in logic programs
inferredcites →https://doi.org/10.1145/170035.170067openalex-snapshot
Implementation of the CORAL deductive database system
inferredcites →https://doi.org/10.1145/170088.170134openalex-snapshot
Adaptive query optimization in a deductive database system
inferredcites →https://doi.org/10.1145/191839.191927openalex-snapshot
XSB as an efficient deductive database engine
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/298514.298582openalex-snapshot
Constraint query languages (preliminary report)
inferredcites →https://doi.org/10.1145/308386.308420openalex-snapshot
Optimizing existential datalog queries
inferredcites →https://doi.org/10.1145/73721.73725openalex-snapshot
Logic programming as constructivism: a formalization and its application to databases
inferredcites →https://doi.org/10.1145/73721.73737openalex-snapshot
On the power of Alexander templates
inferredcites →https://doi.org/10.1145/77606.77608openalex-snapshot
Interprocedural slicing using dependence graphs
inferredcites →https://doi.org/10.1145/93597.98733openalex-snapshot
Making deductive databases a practical technology: a step forward
inferredcites →https://doi.org/10.5860/choice.27-0349openalex-snapshot
A logical language for data and knowledge bases
inferredcites →https://doi.org/10.7551/mitpress/7160.001.0001openalex-snapshot
Warren's Abstract Machine
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.500openalex-snapshot
DrawCAD: using deductive object‐relational databases in CAD
inferred← citeshttps://doi.org/10.1007/11733836_42openalex-snapshot
Query Optimization for a Graph Database with Visual Queries
inferred← citeshttps://doi.org/10.1007/11827252_14openalex-snapshot
Implementation of UNIDOOR, a Deductive Object-Oriented Database System
inferred← citeshttps://doi.org/10.1007/11892960_105openalex-snapshot
Developing Knowledge-Based Security-Sense of Networked Intelligent Robots
inferred← citeshttps://doi.org/10.1007/3-540-44469-6_71openalex-snapshot
Design and Implementation of the OLOG Deductive Object-Oriented Database Management System
inferred← citeshttps://doi.org/10.1007/3-540-44472-6_27openalex-snapshot
An Efficient Storage Manager
inferred← citeshttps://doi.org/10.1007/3-540-44716-4_10openalex-snapshot
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
inferred← citeshttps://doi.org/10.1007/3-540-44759-8_48openalex-snapshot
DrawCAD: Using Deductive Object-Relational Databases in CAD
inferred← citeshttps://doi.org/10.1007/3-540-44957-4_71openalex-snapshot
SLDMagic — The Real Magic (With Applications to Web Queries)
inferred← citeshttps://doi.org/10.1007/3-540-45635-x_30openalex-snapshot
A Computational Model for Functional Logic Deductive Databases
inferred← citeshttps://doi.org/10.1007/3-540-48309-8_32openalex-snapshot
Query Processing in Relationlog
inferred← citeshttps://doi.org/10.1007/3-540-63792-3_34openalex-snapshot
Towards efficient evaluation of methods by reduction
inferred← citeshttps://doi.org/10.1007/978-1-4471-1486-4_13openalex-snapshot
Magic Sets vs. SLD-Resolution
inferred← citeshttps://doi.org/10.1007/978-1-4615-2207-2_2openalex-snapshot
Q-Data: Using Deductive Database Technology to Improve Data Quality
inferred← citeshttps://doi.org/10.1007/978-3-319-74313-4_4openalex-snapshot
Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method
inferred← citeshttps://doi.org/10.1007/978-3-540-24730-2_21openalex-snapshot
The Succinct Solver Suite
inferred← citeshttps://doi.org/10.1007/978-3-540-30567-5_1openalex-snapshot
Incrementally Maintaining Materializations of Ontologies Stored in Logic Databases
inferred← citeshttps://doi.org/10.1007/978-3-540-74610-2_12openalex-snapshot
Logic Programming Approach to Automata-Based Decision Procedures
inferred← citeshttps://doi.org/10.1007/978-3-540-89985-3_7openalex-snapshot
Optimizing Fixpoint Evaluation of Logic Programs with Uncertainty
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_11openalex-snapshot
Dyna: Extending Datalog for Modern AI
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_11openalex-snapshot
Deriving Predicate Statistics for Logic Rules
inferred← citeshttps://doi.org/10.1007/bf03037238openalex-snapshot
A logic-based integration of active and deductive databases
inferred← citeshttps://doi.org/10.1007/bfb0020520openalex-snapshot
Unifying modeling and programming through an active, object-oriented, model-equivalent programming language
inferred← citeshttps://doi.org/10.1016/j.artint.2022.103726openalex-snapshot
Modular materialisation of Datalog programs
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.jlamp.2015.11.002openalex-snapshot
Incremental reasoning on monadic second-order logics with logic programming
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.02.005openalex-snapshot
Logic programming approach to automata-based decision procedures
inferred← citeshttps://doi.org/10.1016/s0743-1066(98)00003-xopenalex-snapshot
Relationlog: A typed extension to Datalog with sets and tuples
inferred← citeshttps://doi.org/10.1017/s1471068418000194openalex-snapshot
Top-down and Bottom-up Evaluation Procedurally Integrated
inferred← citeshttps://doi.org/10.1017/s1471068422000102openalex-snapshot
Fifty Years of Prolog and Beyond
inferred← citeshttps://doi.org/10.1023/a:1008275219746openalex-snapshot
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs
inferred← citeshttps://doi.org/10.1023/a:1008774006482openalex-snapshot
Design and Implementation of the ROL Deductive Object-Oriented Database System
inferred← citeshttps://doi.org/10.1023/a:1015520630539openalex-snapshot
Efficient Management of Persistent Knowledge
inferred← citeshttps://doi.org/10.1109/69.634755openalex-snapshot
Transactions and updates in deductive databases
inferred← citeshttps://doi.org/10.1109/69.729729openalex-snapshot
Efficient recursive aggregation and negation in deductive databases
inferred← citeshttps://doi.org/10.1109/aswec.2006.19openalex-snapshot
Cascaded refactoring for framework development and evolution
inferred← citeshttps://doi.org/10.1109/cmpsac.1996.544602openalex-snapshot
A logic database system with extended functionality
inferred← citeshttps://doi.org/10.1109/dexa.1998.707505openalex-snapshot
Design and implementation of the Relationlog deductive database system
inferred← citeshttps://doi.org/10.1109/icdew.2006.21openalex-snapshot
A Survey on Disk Oriented Querying and Reasoning on the Semantic Web
inferred← citeshttps://doi.org/10.1109/ideas.1997.625702openalex-snapshot
Query processing in the ROL system
inferred← citeshttps://doi.org/10.1109/iembs.1997.756499openalex-snapshot
A computer-based system for problem list maintenance and medical informatics
inferred← citeshttps://doi.org/10.1109/seep.1996.533984openalex-snapshot
A front-end to deductive database systems for multiparadigm programming
inferred← citeshttps://doi.org/10.1109/tkde.2009.83openalex-snapshot
Optimization of Linear Recursive Queries in SQL
inferred← citeshttps://doi.org/10.1142/9781860947322_0004openalex-snapshot
A GRAPH DATABASE WITH VISUAL QUERIES FOR GENOMICS
inferred← citeshttps://doi.org/10.1145/1316902.1316905openalex-snapshot
Evaluation of datalog extended with an XPath predicate
inferred← citeshttps://doi.org/10.1145/1376616.1376673openalex-snapshot
Adding magic to an optimising datalog compiler
inferred← citeshttps://doi.org/10.1145/1989323.1989456openalex-snapshot
Datalog and emerging applications
inferred← citeshttps://doi.org/10.1145/233269.233360openalex-snapshot
Cost-based optimization for magic
inferred← citeshttps://doi.org/10.1145/300830.300837openalex-snapshot
The specification and enforcement of authorization constraints in workflow management systems
inferred← citeshttps://doi.org/10.1145/369275.369289openalex-snapshot
A vision for management of complex models
inferred← citeshttps://doi.org/10.1201/9781420040814.ch5dopenalex-snapshot
The Techniques and Experiences of Integrating Deductive DatabaseManagement Systems and Intelligent Agents for Electronic Commerce Applications
inferred← citeshttps://doi.org/10.1561/1900000017openalex-snapshot
Datalog and Recursive Query Processing
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.44openalex-snapshot
Implementation Alternatives for Bottom-Up Evaluation
inferred← citeshttps://doi.org/10.4230/lipics.snapl.2015.63openalex-snapshot
Yedalog: Exploring Knowledge at Scale
inferred← citeshttps://doi.org/10.7494/csci.2004.6.5.95openalex-snapshot
JELLY VIEWS : EXTENDING RELATIONAL DATABASE SYSTEMS TOWARD DEDUCTIVE DATABASE 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.