• P.O. Box 513, Department of Mathematics and Computer Science

    5600 MB Eindhoven

    Netherlands

  • Groene Loper 5, MetaForum

    5612 AP Eindhoven

    Netherlands

Research Output 2009 2019

Filter
Report
2015

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

Fletcher, G. H. L., Gyssens, M., Paredaens, J., Van Gucht, D. & Wu, Y., 2015, s.n.58 p. (arXiv; vol. 1502.03258 [cs.DB])

Research output: Book/ReportReportAcademic

Relation Algebra
Expressiveness
Vertex of a graph
Fragment
XPath
2014
25 Citations (Scopus)

Relative expressive power of navigational querying on graphs

Fletcher, G. H. L., Gyssens, M., Leinders, D., Surinx, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S. & Wu, Y., 2014, s.n.29 p. (arXiv; vol. 1401.8201 [cs.DB])

Research output: Book/ReportReportAcademic

Open Access
File
Query languages
Chemical analysis
2012

I/O-efficient algorithms for localized bisimulation partition construction and maintenance on massive graphs

Luo, Y., Fletcher, G. H. L., Hidders, A. J. H., Wu, Y. & Bra, De, P. M. E., 2012, s.n.15 p. (arXiv.org; vol. 1210.0748 [cs.DB])

Research output: Book/ReportReportAcademic

Partitions (building)
Sorting
Costs
Scanning
Data storage equipment

Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations

Fletcher, G. H. L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D. & Vansummeren, S., 2012, s.n.33 p. (arXiv.org; vol. 1210.2688 [cs.LO])

Research output: Book/ReportReportAcademic

Fragment
Calculus
Residuation
Difference Set
Bisimulation
2011

I/O efficient bisimulation partitioning on very large directed acyclic graphs

Hellings, J., Fletcher, G. H. L. & Haverkort, H. J., 2011, (arXiv.org (cs.DS); vol. 1112.0857)

Research output: Book/ReportReportAcademic

Data storage equipment
XML
Equivalence classes
Taxonomies
World Wide Web