Journal article icon

Journal article

Positive Higher−Order Queries

Abstract:

We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed Lambda-calculus. Our language allows one to succinctly define ordinary positive relational algebra queries (conjunctive queries and unions of conjunctive queries) and, in addition, second-order query functionals, which allow the transformation of CQs and UCQs in a generic (i.e., syntax independent) way. We investigate the equivalence and containment problems for this c...

Expand abstract

Actions


Access Document


Files:

Authors


Michael Benedikt More by this author
Gabriele Puppis More by this author
Journal:
PODS: The 29th ACM SIGMOD−SIGACT−SIGART Symposium on Principles of Database Systems
Publication date:
2010
URN:
uuid:0160f332-e6be-41fb-af30-12db89aed6b9
Local pid:
cs:3629

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP