A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
This is the companion paper of a talk in the Gems of PODS series, that reviews the development, starting at PODS 1988, of a family of Datalog-like languages with procedural, forward chaining semantics, ... These languages also provide a unified formalism that can express important classes of queries including fixpoint, while, and all computable queries. ... The author is grateful to Pierre Bourhis and Luc Segoufin for their insightful comments on this paper. ...doi:10.1145/3452021.3458815 fatcat:b6mnoptf2jgdtl27xrt54z7r5u
The connection between the Datalog extensions and explicitly procedural languages, as well as tixpoint extensions of first-order logic, is also investigated. ... In particular, a new family of non-deterministic tixpoint extensions of first-order logic is considered. (0 1991 Academic Press, Inc. ... Similar insights are obtained by examining the connections between the safe Datalog extensions and fixpoint extensions of first-order logic. ...doi:10.1016/0022-0000(91)90032-z fatcat:gmpg7xfplvhanktfyjwhy2jw6m
While guardedness has been applied fruitfully in the setting of first-order logic, the ability to add fixpoints while retaining decidability has been very limited. ... Using automata, we show that the resulting logics have a decidable satisfiability problem, and provide a fine study of the complexity of satisfiability. ... LFP is the natural extension of first-order logic with a fixpoint constructor. ...doi:10.1145/2933575.2933592 dblp:conf/lics/BenediktBB16 fatcat:iofilouplngydidnz42r5dkpt4
Summary: “Nondeterministic extensions are needed in logic-based languages, such as first-order relational languages and Datalog, to enhance their expressive power and support the efficient formu- lation ... reformulation of first-order logic). ...
W. (3-VCTR-C; Victoria, BC) First-order functional languages and intensional logic. (English summary) J. Funct. Programming 7 (1997), no. 1, 73-101. ... From a practical point of view, our investigation provides a formal basis for the tagging mechanism that is used in the implementation of first-order functional languages on dataflow machines.” 98a:68022 ...
Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
We consider an ordered semiring, define the semantics of a datalog program as a least fixpoint in this semiring, and study the number of steps required to reach that fixpoint, if ever. ... Finally, we describe a class of ordered semirings on which one can use the semi-naive evaluation algorithm on any datalog program. ... (𝑓 • • • 𝑓 )𝑔(𝑓 • • • 𝑓 )𝑔 • • • 𝑔(𝑓 • • • 𝑓 ), similar to B PROOFS AND EXTENSIONS OF SECTION 4 B.1 Extensions to datalog • We describe here several extensions to the definition of datalog • ...doi:10.1145/3517804.3524140 fatcat:vvst7emxfja3xmhzhcnkg4vd6u
In this paper, we use a paraconsistent logic (LFI1) as the underlying logic for the specification of P-Datalog, a deductive query language for databases containing inconsistent information. ... We also present a bottomup evaluation method for P-Datalog programs based on an alternating fixpoint operator. ... Acknowledgements We would like to thank the anonymous referees whose really careful reading, useful comments and corrections have lead to significant improvement of our work. ...doi:10.1016/j.ijar.2006.09.009 fatcat:tezgi5pygfeldi4klw5nauivy4
Lecture Notes in Computer Science
We present a logic-based inductive query language and illustrate the use of aggregates and exploit a new join operator to model specific data mining tasks. ... In this paper, we discuss the main problems of inductive query languages and optimisation issues. ... Part of the work performed while the first author was at University of Wollongong. ...doi:10.1007/978-3-540-72584-8_35 fatcat:hag7ll35bvhjnol7gsutsx4unq
The VLDB journal
This monotonic extension greatly enhances the power of Datalog, while preserving (i) its declarative semantics and (ii) its amenability to efficient implementation via differential fixpoint and other optimization ... To solve this problem, we propose a simple extension, called Datalog F S (Datalog extended with frequency support goals), that supports queries and reasoning about the number of distinct variable assignments ... and least fixpoint) semantics of logic programs. ...doi:10.1007/s00778-012-0299-1 fatcat:mf2jbhemqjaateedxvffa5njja
The first extension (Datalog '*) allows negations in both the bodies and heads of rules, (the -, indicates that negations are allowed in bodies and the * that they are allowed in heads). ... Fundamental properties of deterministic and nondeterministic extensions of Datalog from Abiteboul and Vianu (1988) are studied. ... Acknowledgment We thank Victor Vianu for very carefully reading a first draft of this paper and his many comments. 158 S. Abiteboul, E. Simon ...doi:10.1016/0304-3975(51)90006-0 fatcat:gjngdaf4rvai3cqdn5z72yl7u4
The basic question of our study is how we can give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. ... The concept of fuzzy knowledge-base will be defined as a quadruple of any background knowledge; a deduction mechanism; a connecting algorithm, and a decoding set of the program, which help us to determine ... A few years ago in  and  there was given a possible combination of Datalog-like languages and fuzzy logic. ...dblp:conf/eusflat/Achs05 fatcat:npf7f7ylqfaxdlpxh6cegsv6sa
Lecture Notes in Computer Science
This requirement has led to the definition of several languages integrating logic and updates [1, 2, 9, 10, 15, 16, 31, 32, 35] . ... The aim of this paper is to propose a new language for integrating active rules, deductive rules and updates in a uniform logical context. ... The authors wish to thank the anonymous referees for their valuable suggestions leading to significant improvements of this paper. ...doi:10.1007/bfb0055497 fatcat:ocesboh7ujbfjkvj7zrknhkmka
This has included significant developments in theory, increasing maturity of tools both in performance and usability, and the evolution of standards and benchmarks. ... The purpose of this article is to reflect on the use of reasoning for rewriting and simplifying relational database queries. ... I want to express my deep gratitude to Marcelo Arenas, Michaël Cadilhac, Phokion Kolaitis, Dan Olteanu, and Victor Vianu for extensive feedback on this work. ...doi:10.1145/3196959.3196989 dblp:conf/pods/Benedikt18 fatcat:fmx4gidgbzb6fpxtvrsy4eyskm
The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. ... This paper surveys various complexity and expressiveness results on different forms of logic programming. ... Acknowledgments We would like to thank Jan van den Bussche, Michael Gelfond, Leonid Libkin, Domenico Saccá, Moshe Vardi, and our colleagues for comments on a previous version of this paper and suggestions ...doi:10.1145/502807.502810 fatcat:534rdwm6fbdmtn6ghdsntvca5e
Lecture Notes in Computer Science
The proposed scheme is apt for logical rule languages such as Datalog, but also opens up for rules lacking logical semantics, e.g. the XML query and transformation language Xcerpt. ... The paper presents a scheme for hybrid integration of rules languages with constraints languages including but not restricted to Description Logic-based ontologies. ... ACKNOWLEDGEMENT The authors are very grateful to Boris Motik, Michael Wessel and Birte Glimm for their helpful comments on the state of query languages of existing DL reasoners and to Wlodek Drabent and ...doi:10.1007/11853107_3 fatcat:lthxvetqdjes7gz5j3wemhy2zy
« Previous Showing results 1 — 15 out of 917 results