Found 12 Documents (Results 1–12)
Consistent query answering for primary keys in Datalog. (English) Zbl 1477.68091
Reviewer: T. C. Mohan (Chennai)
Successor-invariant first-order logic on classes of bounded degree. (English) Zbl 1498.03069
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 479-491 (2020).
Consistent query answering for primary keys in logspace. (English) Zbl 07561483
Barcelo, Pablo (ed.) et al., 22nd international conference on database theory, ICDT 2019, March 26–28, 2019, Lisbon, Portugal. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 127, Article 23, 19 p. (2019).
MSC:
68P15
Order-invariance of two-variable logic is decidable. (English) Zbl 1394.03017
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 807-816 (2016).
Model checking for successor-invariant first-order logic on minor-closed graph classes. (English) Zbl 1366.68168
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 134-142 (2013).
Locality of queries definable in invariant first-order logic with arbitrary built-in predicates. (English) Zbl 1333.68129
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 368-379 (2011).
Towards a characterization of order-invariant queries over tame graphs. (English) Zbl 1161.03018
MSC:
03C13
Incremental recomputation in local languages. (English) Zbl 1054.68085
MSC:
68Q45
Expressive power of SQL. (English) Zbl 1045.68053
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (5)
all
top 5
Author
- Grange, Julien (2)
- Koutris, Paraschos (2)
- Libkin, Leonid O. (2)
- Schweikardt, Nicole (2)
- Segoufin, Luc (2)
- Wijsen, Jef (2)
- Benedikt, Michael A. (1)
- Dong, Guozhu (1)
- Eickmeyer, Kord (1)
- Grandjean, Etienne (1)
- Harwath, Frederik (1)
- Kawarabayashi, Ken-ichi (1)
- Kreutzer, Stephan (1)
- Olive, Frédéric (1)
- van Melkebeek, Dieter (1)
- Wong, Limsoon (1)
- Zeume, Thomas (1)
all
top 5
Serial
- Theor. Comput. Sci. (2)
- J. Comput. Syst. Sci. (1)
- J. Symb. Log. (1)
- Inf. Comput. (1)
- Theory Comput. Syst. (1)
- Log. Methods Comput. Sci. (1)
Software
- GraphLog (1)
