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
Proceedings of the 18th International Conference on Extending Database Technology, Brussels, Belgium, March 23-27, 2015
Source
Konstanz, Open Proceedings, 2015,694 p.