Sciweavers

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