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
Calculi for symmetric queries
Source
Journal of computer and system sciences - ISSN 0022-0000-105 (2019) p. 54-86
A formal and unified description of XML manipulation languages
Source
Fundamenta informaticae - ISSN 0169-2968-145:4 (2016) p. 429-470
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
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