Sciweavers

PODS
1992
ACM
84views Database» more  PODS 1992»
13 years 11 months ago
Greedy by Choice
Sergio Greco, Carlo Zaniolo, Sumit Ganguly
PODS
1992
ACM
94views Database» more  PODS 1992»
13 years 11 months ago
Knowledgebase Transformations
Gösta Grahne, Alberto O. Mendelzon, Peter Z. ...
PODS
1992
ACM
100views Database» more  PODS 1992»
13 years 11 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 11 months ago
The Valid Model Semantics for Logic Programs
Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...