Liu, Yanhong A.; Stoller, Scott D. Recursive rules with aggregation: a simple unified semantics. (English) Zbl 07551717 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 156-179 (2022). MSC: 03B70 PDFBibTeX XMLCite \textit{Y. A. Liu} and \textit{S. D. Stoller}, Lect. Notes Comput. Sci. 13137, 156--179 (2022; Zbl 07551717) Full Text: DOI arXiv
Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas Rewriting guarded existential rules into small Datalog programs. (English) Zbl 1489.68066 Kimelfeld, Benny (ed.) et al., 21st international conference on database theory, ICDT 2018, Vienna, Austria, March 26–29, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 98, Article 4, 24 p. (2018). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{S. Ahmetaj} et al., LIPIcs -- Leibniz Int. Proc. Inform. 98, Article 4, 24 p. (2018; Zbl 1489.68066) Full Text: DOI
Kazda, Alexandr \(n\)-permutability and linear Datalog implies symmetric Datalog. (English) Zbl 1476.68107 Log. Methods Comput. Sci. 14, No. 2, Paper No. 3, 24 p. (2018). MSC: 68Q17 08A70 68N17 PDFBibTeX XMLCite \textit{A. Kazda}, Log. Methods Comput. Sci. 14, No. 2, Paper No. 3, 24 p. (2018; Zbl 1476.68107) Full Text: DOI arXiv
Gottlob, Georg; Koch, Christoph; Pieris, Andreas Logic, languages, and rules for web data extraction and reasoning over data. (English) Zbl 1485.68088 Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 27-47 (2017). MSC: 68P15 03B70 68M11 68N17 68T27 PDFBibTeX XMLCite \textit{G. Gottlob} et al., Lect. Notes Comput. Sci. 10168, 27--47 (2017; Zbl 1485.68088) Full Text: DOI Link
Greco, Sergio; Molinaro, Cristian Datalog and logic databases. (English) Zbl 1345.68005 Synthesis Lectures on Data Management 41. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-62705-113-2/pbk; 978-1-62705-114-9). xiii, 155 p. (2016). MSC: 68-02 03B70 68N17 68P15 PDFBibTeX XMLCite \textit{S. Greco} and \textit{C. Molinaro}, Datalog and logic databases. San Rafael, CA: Morgan \& Claypool Publishers (2016; Zbl 1345.68005) Full Text: DOI
Bojańczyk, Mikołaj; Murlak, Filip; Witkowski, Adam Containment of monadic Datalog programs via bounded clique-width. (English) Zbl 1440.68054 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 427-439 (2015). MSC: 68P15 03B70 68N17 68Q25 68Q45 PDFBibTeX XMLCite \textit{M. Bojańczyk} et al., Lect. Notes Comput. Sci. 9135, 427--439 (2015; Zbl 1440.68054) Full Text: DOI
Bjørner, Nikolaj; Gurfinkel, Arie; McMillan, Ken; Rybalchenko, Andrey Horn clause solvers for program verification. (English) Zbl 1465.68044 Beklemishev, Lev D. (ed.) et al., Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9300, 24-51 (2015). MSC: 68N30 03B70 68Q60 PDFBibTeX XMLCite \textit{N. Bjørner} et al., Lect. Notes Comput. Sci. 9300, 24--51 (2015; Zbl 1465.68044) Full Text: DOI
Langer, Alexander; Reidl, Felix; Rossmanith, Peter; Sikdar, Somnath Practical algorithms for MSO model-checking on tree-decomposable graphs. (English) Zbl 1302.68184 Comput. Sci. Rev. 13-14, 39-74 (2014). MSC: 68Q60 03B70 03B15 05C70 05C85 68R10 68-02 PDFBibTeX XMLCite \textit{A. Langer} et al., Comput. Sci. Rev. 13--14, 39--74 (2014; Zbl 1302.68184) Full Text: DOI
Aranda-López, Gabriel; Nieva, Susana; Sáenz-Pérez, Fernando; Sánchez-Hernández, Jaime An extended constraint deductive database: theory and implementation. (English) Zbl 1283.68145 J. Log. Algebr. Program. 83, No. 1, 20-52 (2014). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{G. Aranda-López} et al., J. Log. Algebr. Program. 83, No. 1, 20--52 (2014; Zbl 1283.68145) Full Text: DOI
Blass, Andreas; Gurevich, Yuri Abstract Hilbertian deductive systems, infon logic, and Datalog. (English) Zbl 1358.03038 Inf. Comput. 231, 21-37 (2013). MSC: 03B70 03B22 03F07 68N17 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, Inf. Comput. 231, 21--37 (2013; Zbl 1358.03038) Full Text: DOI
Bodirsky, Manuel; Dalmau, Víctor Datalog and constraint satisfaction with infinite templates. (English) Zbl 1263.68051 J. Comput. Syst. Sci. 79, No. 1, 79-100 (2013). MSC: 68Q25 68T20 03B70 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{V. Dalmau}, J. Comput. Syst. Sci. 79, No. 1, 79--100 (2013; Zbl 1263.68051) Full Text: DOI
Gottlob, Georg; Pichler, Reinhard; Wei, Fang Monadic Datalog over finite structures of bounded treewidth. (English) Zbl 1351.68110 ACM Trans. Comput. Log. 12, No. 1, Article No. 3, 48 p. (2010). MSC: 68Q17 03B70 03D05 68P15 68Q19 68Q25 PDFBibTeX XMLCite \textit{G. Gottlob} et al., ACM Trans. Comput. Log. 12, No. 1, Article No. 3, 48 p. (2010; Zbl 1351.68110) Full Text: DOI
Blass, Andreas; Gurevich, Yuri Hilbertian deductive systems, infon logic, and Datalog. (English) Zbl 1275.03127 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 122-150 (2010). MSC: 03B70 03F07 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 102, 122--150 (2010; Zbl 1275.03127)
Charatonik, Witold; Witkowski, Piotr On the complexity of the Bernays-Schönfinkel class with Datalog. (English) Zbl 1307.03019 Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10–15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 187-201 (2010). MSC: 03B70 68N17 68Q17 68Q25 PDFBibTeX XMLCite \textit{W. Charatonik} and \textit{P. Witkowski}, Lect. Notes Comput. Sci. 6397, 187--201 (2010; Zbl 1307.03019) Full Text: DOI
Caballero, R.; García-Ruiz, Y.; Sáenz-Pérez, F. A new proposal for debugging Datalog programs. (English) Zbl 1283.68123 Echahed, Rachid (ed.), Proceedings of the 16th international workshop on functional and (constraint) logic programming (WFLP 2007), Paris, France, June 25, 2007. Selected papers. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 216, 79-92 (2008). MSC: 68N20 68N30 68N17 68R10 68P20 PDFBibTeX XMLCite \textit{R. Caballero} et al., Electron. Notes Theor. Comput. Sci. 216, 79--92 (2008; Zbl 1283.68123) Full Text: DOI
Blass, Andreas; Gurevich, Yuri Two forms of one useful logic: Existential fixed point logic and liberal Datalog. (English) Zbl 1169.68501 Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 95, 164-182 (2008). MSC: 68Q60 03B60 03B70 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 95, 164--182 (2008; Zbl 1169.68501)
Simmons, Robert J.; Pfenning, Frank Linear logical algorithms. (English) Zbl 1155.68349 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 336-347 (2008). MSC: 68N17 03B70 03F52 68P15 PDFBibTeX XMLCite \textit{R. J. Simmons} and \textit{F. Pfenning}, Lect. Notes Comput. Sci. 5126, 336--347 (2008; Zbl 1155.68349) Full Text: DOI
Egri, László; Larose, Benoît; Tesson, Pascal Directed \(st\)-connectivity is not expressible in symmetric Datalog. (English) Zbl 1155.68390 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 172-183 (2008). MSC: 68Q15 03B70 68N30 68R10 PDFBibTeX XMLCite \textit{L. Egri} et al., Lect. Notes Comput. Sci. 5126, 172--183 (2008; Zbl 1155.68390) Full Text: DOI
Dawar, Anuj; Kreutzer, Stephan On Datalog vs. LFP. (English) Zbl 1155.68402 Aceto, Luca (ed.) et al., Automata, languages and programming. 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7–11, 2008. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-70582-6/pbk). Lecture Notes in Computer Science 5126, 160-171 (2008). MSC: 68Q19 03B70 03C13 03C40 68N30 PDFBibTeX XMLCite \textit{A. Dawar} and \textit{S. Kreutzer}, Lect. Notes Comput. Sci. 5126, 160--171 (2008; Zbl 1155.68402) Full Text: DOI
Bodirsky, Manuel; Dalmau, Víctor Datalog and constraint satisfaction with infinite templates. (English) Zbl 1136.03314 Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 646-659 (2006). MSC: 03B70 03C35 68Q25 68T20 PDFBibTeX XMLCite \textit{M. Bodirsky} and \textit{V. Dalmau}, Lect. Notes Comput. Sci. 3884, 646--659 (2006; Zbl 1136.03314) Full Text: DOI Link
Gottlob, Georg; Koch, Christoph Monadic Datalog and the expressive power of languages for web information extraction. (English) Zbl 1316.68045 J. ACM 51, No. 1, 74-113 (2004). MSC: 68P15 03B70 68M11 68N17 68P20 PDFBibTeX XMLCite \textit{G. Gottlob} and \textit{C. Koch}, J. ACM 51, No. 1, 74--113 (2004; Zbl 1316.68045) Full Text: DOI arXiv
Guessarian, Irène; Foustoucos, Eugénie; Andronikos, Theodore; Afrati, Foto On temporal logic versus Datalog. (English) Zbl 1019.03021 Theor. Comput. Sci. 303, No. 1, 103-133 (2003). MSC: 03B70 68Q60 03B44 68N17 PDFBibTeX XMLCite \textit{I. Guessarian} et al., Theor. Comput. Sci. 303, No. 1, 103--133 (2003; Zbl 1019.03021) Full Text: DOI
Grädel, Erich Efficient evaluation methods for guarded logics and Datalog LITE (abstract). (English) Zbl 0988.68690 Parigot, Michel (ed.) et al., Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1955, 417 (2000). MSC: 68U99 03B70 68P15 68Q60 PDFBibTeX XMLCite \textit{E. Grädel}, Lect. Notes Comput. Sci. 1955, 417 (2000; Zbl 0988.68690)
Brodsky, Alexander; Sagiv, Yehoshua Inference of monotonicity constraints in Datalog programs. (English) Zbl 0942.03040 Ann. Math. Artif. Intell. 26, No. 1-4, 29-57 (1999). MSC: 03B70 68N17 PDFBibTeX XMLCite \textit{A. Brodsky} and \textit{Y. Sagiv}, Ann. Math. Artif. Intell. 26, No. 1--4, 29--57 (1999; Zbl 0942.03040) Full Text: DOI
Achs, Ágnes Evaluation strategies of Fuzzy Datalog. (English) Zbl 0904.68035 Acta Cybern. 13, No. 1, 85-102 (1997). Reviewer: Vilém Novák (Ostrava) MSC: 68N17 68T99 03B70 03B52 PDFBibTeX XMLCite \textit{Á. Achs}, Acta Cybern. 13, No. 1, 85--102 (1997; Zbl 0904.68035)