Bonded arity Datalog (≠) queries on graphs

Afrati, F

dc.contributor.author	Afrati, F	en
dc.date.accessioned	2014-03-01T02:48:13Z
dc.date.available	2014-03-01T02:48:13Z
dc.date.issued	1994	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/33641
dc.subject	Binary Relation	en
dc.title	Bonded arity Datalog (≠) queries on graphs	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/182591.182603	en
heal.identifier.secondary	http://dx.doi.org/10.1145/182591.182603	en
heal.publicationDate	1994	en
heal.abstract	We show that there are Datalog( ≠ ) queries on graphs (i.e., the extensional database contains a single binary relation) that require recursively defined predicates of arbitrarily large width. More specifically, we prove that fixed subgraph homeomorphism queries require width of recursively defined predicates which is at least equal to the number of arcs in the pattern graph.	en
heal.journalName	Symposium on Principles of Database Systems	en
dc.identifier.doi	10.1145/182591.182603	en