Expressiveness within Sequence Datalog

Source
40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, (PODS), JUN 20-25, 2021, ELECTR NETWORK- (2021) p. 70-81
Author(s)

Calculi for symmetric queries

Source
Journal of computer and system sciences - ISSN 0022-0000-105 (2019) p. 54-86
Author(s)
    Marc Gyssens, Jelle Hellings, Jan Paredaens, Dirk Van Gucht, Jef Wijsen, Yuqing Wu

A formal and unified description of XML manipulation languages

Source
Fundamenta informaticae - ISSN 0169-2968-145:4 (2016) p. 429-470
Author(s)

Implication and axiomatization of functional and constant constraints

Source
Annals of mathematics and artificial intelligence - ISSN 1012-2443-76:3-4 (2016) p. 251-279
Author(s)

Structural characterizations of the navigational expressiveness of relation algebras on a tree

Source
Journal of computer and system sciences - ISSN 0022-0000-82:2 (2016) p. 229-259
Author(s)
    George H. L. Fletcher, Marc Gyssens, Jan Paredaens, Dirk Van Gucht, Yuqing Wu