On the public citation graph

Language extensions for semantic integration of deductive databases

https://doi.org/10.1007/bfb0031754
0 signed · 27 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-57530-8_13openalex-snapshot
Negation and aggregates in recursive rules: the LDL++ approach
inferredcites →https://doi.org/10.1007/3-540-58402-1_21openalex-snapshot
Implementations of program composition operations
inferredcites →https://doi.org/10.1007/3-540-59487-6_5openalex-snapshot
An operator for composing deductive data bases with theories of constraints
inferredcites →https://doi.org/10.1007/bfb0031754openalex-snapshot
Language extensions for semantic integration of deductive databases
inferredcites →https://doi.org/10.1007/bfb0032046openalex-snapshot
Algebraic properties of idempotent substitutions
inferredcites →https://doi.org/10.1016/0304-3975(95)00012-lopenalex-snapshot
Fully abstract compositional semantics for an algebra of logic programs
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-444-88074-1.50015-9openalex-snapshot
Logic Programming
inferredcites →https://doi.org/10.1016/s0743-1066(96)00146-xopenalex-snapshot
Logic and algebraic languages for interoperability in multidatabase systems
inferredcites →https://doi.org/10.1109/2.121508openalex-snapshot
Mediators in the architecture of future information systems
inferredcites →https://doi.org/10.1109/69.542029openalex-snapshot
Hybrid knowledge bases
inferredcites →https://doi.org/10.1109/icde.1996.492097openalex-snapshot
MedMaker: a mediation system based on declarative specifications
inferredcites →https://doi.org/10.1145/115790.115795openalex-snapshot
Language features for interoperability of databases with schematic discrepancies
inferredcites →https://doi.org/10.1145/183432.183528openalex-snapshot
Modular logic programming
inferredcites →https://doi.org/10.1145/321978.321991openalex-snapshot
The Semantics of Predicate Logic as a Programming Language

What points at this work

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

inferred← citeshttps://doi.org/10.1007/978-0-387-35317-3_13openalex-snapshot
View Constraints: an Interpretation of Integrity Constraints for Security
inferred← citeshttps://doi.org/10.1007/978-0-387-35396-8_3openalex-snapshot
The Constraint Operator of MedLan: its efficient implementation and use
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.1016/s0743-1066(96)00146-xopenalex-snapshot
Logic and algebraic languages for interoperability in multidatabase systems
inferred← citeshttps://doi.org/10.1016/s0743-1066(99)00023-0openalex-snapshot
Using MedLan to integrate geographical data
inferred← citeshttps://doi.org/10.1023/a:1018943319381openalex-snapshot
Applying restriction constraints to deductive databases
inferred← citeshttps://doi.org/10.1080/13658810410001672908openalex-snapshot
Integrating knowledge representation and reasoning in Geographical Information Systems
inferred← citeshttps://doi.org/10.1145/258319.258346openalex-snapshot
Towards declarative GIS analysis
inferred← citeshttps://doi.org/10.1609/aimag.v18i3.1304openalex-snapshot
Logic and Databases Past, Present, and Future
inferred← citeshttps://doi.org/10.18452/15691openalex-snapshot
Ontoloby-based semantic query processing in database systems
showing the first 11 of 12 · page through all 12
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.