Sciweavers

PODS
1992
ACM
84views Database» more  PODS 1992»
13 years 9 months ago
Greedy by Choice
Sergio Greco, Carlo Zaniolo, Sumit Ganguly
PODS
1992
ACM
94views Database» more  PODS 1992»
13 years 9 months ago
Knowledgebase Transformations
Gösta Grahne, Alberto O. Mendelzon, Peter Z. ...
PODS
1992
ACM
100views Database» more  PODS 1992»
13 years 9 months ago
On the Equivalence of Recursive and Nonrecursive Datalog Programs
: We study the problem of determining whether a given recursive Datalog program is equivalent to a given nonrecursive Datalog program. Since nonrecursive Datalog programs are equiv...
Surajit Chaudhuri, Moshe Y. Vardi
PODS
1992
ACM
96views Database» more  PODS 1992»
13 years 9 months ago
The Valid Model Semantics for Logic Programs
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...