TY - JOUR
T1 - A monotonic extension for Horn-clauses and its significance in datalog's renaissance
AU - Mazuran, Mirjana
AU - Serra, Edoardo
AU - Zaniolo, Carlo
PY - 2013
Y1 - 2013
N2 - FS-rules provide a powerful monotonic extension for Horn clauses that supports monotonic aggregates in recursion by reasoning on the multiplicity of occurrences satisfying existential goals. The least fix-point semantics, and its equivalent least model semantics, hold for logic programs with FS-rules; moreover, generalized notions of stratification and stable models are easily derived once negated goals are also allowed. Finally, the generalization of techniques such as seminaive fixpoint and magic sets, make possible the efficient implementation of DatalogFS, i.e., Datalog with FS-rules and stratified negation. A large number of applications that could not be supported efficiently, or could not be expressed at all in stratified Datalog can now be easily expressed and efficiently supported in DatalogFS and a powerful DatalogFS system is now being developed at UCLA.
AB - FS-rules provide a powerful monotonic extension for Horn clauses that supports monotonic aggregates in recursion by reasoning on the multiplicity of occurrences satisfying existential goals. The least fix-point semantics, and its equivalent least model semantics, hold for logic programs with FS-rules; moreover, generalized notions of stratification and stable models are easily derived once negated goals are also allowed. Finally, the generalization of techniques such as seminaive fixpoint and magic sets, make possible the efficient implementation of DatalogFS, i.e., Datalog with FS-rules and stratified negation. A large number of applications that could not be supported efficiently, or could not be expressed at all in stratified Datalog can now be easily expressed and efficiently supported in DatalogFS and a powerful DatalogFS system is now being developed at UCLA.
UR - http://www.scopus.com/inward/record.url?scp=84907893539&partnerID=8YFLogxK
M3 - Conference article
AN - SCOPUS:84907893539
SN - 1613-0073
VL - 1087
JO - CEUR Workshop Proceedings
JF - CEUR Workshop Proceedings
T2 - 7th Alberto Mendelzon International Workshop on Foundations of Data Management, AMW 2013
Y2 - 21 May 2013 through 23 May 2013
ER -