Sets and negation in a logic data base language (LDL1)

@inproceedings{Beeri1987SetsAN,
  title={Sets and negation in a logic data base language (LDL1)},
  author={Catriel Beeri and Shamim A. Naqvi and Raghu Ramakrishnan and Oded Shmueli and Shalom Tsur},
  booktitle={PODS '87},
  year={1987}
}
In this paper we extend LDL, a Logic Based Database Language, to include finite sets and negation. The new language is called LDL1. We define the notion of a model and show that a negation-free program need not have a model, and that it may have more than one minimal model. We impose syntactic restriction in order to define a deterministic language. These restrictions allow only layered (stratified) programs. We prove that for any program satisfying the syntactic restrictions of layering, there… CONTINUE READING

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 54 CITATIONS, ESTIMATED 86% COVERAGE

A Language for Programming in Logic with Finite Sets

VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

On the expressive power of F-logic language

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Sorted HiLog: Sorts in Higher-Order Logic Data Languages

VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Big Graph Analytics Platforms

VIEW 1 EXCERPT
CITES BACKGROUND

SociaLite: An Efficient Graph Query Language Based on Datalog

VIEW 1 EXCERPT
CITES METHODS

SociaLite: Datalog extensions for efficient social network analysis

VIEW 1 EXCERPT
CITES METHODS

SoQL: A Language for Querying and Creating Data in Social Networks

VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

1987
2017

CITATION STATISTICS

  • 3 Highly Influenced Citations