On the public citation graph
The aditi deductive database system
0 signed · 74 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.1002/j.1538-7305.1984.tb00067.xopenalex-snapshot
TheUNIXSystem: Theory and Practice in the Construction of a Working Sort Routine
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-16492-8_105openalex-snapshot
A superimposed codeword indexing scheme for very large Prolog databases
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-57818-8_41openalex-snapshot
Subsumption-free bottom-up evaluation of logic programs with partially instantiated data structures
inferredcites →https://doi.org/10.1007/bfb0013086openalex-snapshot
MegaLog — A platform for developing knowledge base management systems
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(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)90030-sopenalex-snapshot
Efficient bottom-up computation of queries on stratified databases
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/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/66926.66948openalex-snapshot
Efficient evaluation of right-, left-, and multi-linear rules
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.13182/nse70-a19705openalex-snapshot
The Art of Computer Programming
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/11827252_14openalex-snapshot
Implementation of UNIDOOR, a Deductive Object-Oriented Database 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-45635-x_30openalex-snapshot
A Computational Model for Functional Logic Deductive Databases
inferred← citeshttps://doi.org/10.1007/3-540-56804-2_12openalex-snapshot
Towards intelligent databases
inferred← citeshttps://doi.org/10.1007/3-540-56921-9_10openalex-snapshot
Deductive databases with conditional facts
inferred← citeshttps://doi.org/10.1007/3-540-63516-5_16openalex-snapshot
FOLRE: A deductive database system for the integrated treatment of updates
inferred← citeshttps://doi.org/10.1007/3-540-63792-3_20openalex-snapshot
The nonmonotonic semantics of active rules in deductive databases
inferred← citeshttps://doi.org/10.1007/978-1-4615-1567-8_22openalex-snapshot
Nonmonotonic Reasoning in LDL++
inferred← citeshttps://doi.org/10.1007/978-1-4615-2207-2_4openalex-snapshot
An Aditi Implementation of a Flights Database
inferred← citeshttps://doi.org/10.1007/978-3-540-73595-3_37openalex-snapshot
System Description: E- KRHyper
inferred← citeshttps://doi.org/10.1007/978-3-540-74610-2_14openalex-snapshot
Spatial-Yap: A Logic-Based Geographic Information System
inferred← citeshttps://doi.org/10.1007/978-3-642-60730-1_7openalex-snapshot
FLORID - Ein Prototyp für F-Logik
inferred← citeshttps://doi.org/10.1007/978-3-642-78545-0_19openalex-snapshot
Neuere Entwicklungen der deklarativen KI-Programmierung
inferred← citeshttps://doi.org/10.1007/bf00961870openalex-snapshot
Foreword: Deductive object-oriented databases
inferred← citeshttps://doi.org/10.1007/bf01228879openalex-snapshot
The Glue-Nail deductive database system: Design, implementation, and evaluation
inferred← citeshttps://doi.org/10.1007/bf03037238openalex-snapshot
A logic-based integration of active and deductive databases
inferred← citeshttps://doi.org/10.1007/bf03037296openalex-snapshot
Database query languages and functional logic programming
inferred← citeshttps://doi.org/10.1007/bfb0021901openalex-snapshot
Prototypes in the LOGIDATA+ Project
inferred← citeshttps://doi.org/10.1016/0743-1066(95)00050-xopenalex-snapshot
Optimizing bottom-up evaluation of constraint queries
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/s0141-9331(96)01097-6openalex-snapshot
Implementation of a deductive database system using SQLBase
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)01136-9openalex-snapshot
Forward and Backward Chaining in Linear Logic (Extended Abstract)
inferred← citeshttps://doi.org/10.1017/s1471068401001090openalex-snapshot
Greedy algorithms in Datalog
inferred← citeshttps://doi.org/10.1017/s1471068417000436openalex-snapshot
Fixpoint semantics and optimization of recursive Datalog programs with aggregates
inferred← citeshttps://doi.org/10.1017/s1471068418000418openalex-snapshot
Scaling-up reasoning and advanced analytics on BigData
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.1023/a:1018995303452openalex-snapshot
The logic of totally and partially ordered plans: a deductive database approach
inferred← citeshttps://doi.org/10.1023/a:1022808724136openalex-snapshot
A Deductive Database Approach to A.I. Planning
inferred← citeshttps://doi.org/10.1023/b:amai.0000034526.31830.45openalex-snapshot
Agents via Mixed-Mode Computation in Linear Logic
inferred← citeshttps://doi.org/10.1109/69.729729openalex-snapshot
Efficient recursive aggregation and negation in deductive databases
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/ideas.1997.625702openalex-snapshot
Query processing in the ROL system
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.1142/9789812819536_0030openalex-snapshot
Database Transactions in a Purely Declarative Logic Programming Language
inferred← citeshttps://doi.org/10.1145/170035.170065openalex-snapshot
Design and implementation of the glue-nail database system
inferred← citeshttps://doi.org/10.1145/170035.170067openalex-snapshot
Implementation of the CORAL deductive database system
inferred← citeshttps://doi.org/10.1145/191839.191860openalex-snapshot
Implementation of magic-sets in a relational database system
inferred← citeshttps://doi.org/10.1145/275295.275306openalex-snapshot
A deductive rules processor for SQL databases
inferred← citeshttps://doi.org/10.1145/335527.335529openalex-snapshot
Cost-based query optimization for metadata repositories
inferred← citeshttps://doi.org/10.4230/lipics.iclp.2010.44openalex-snapshot
Implementation Alternatives for Bottom-Up Evaluation
inferred← citeshttps://doi.org/10.48550/arxiv.1807.02957openalex-snapshot
Scaling-Up Reasoning and Advanced Analytics on BigData
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.