Journal article icon

Journal article

Type inference for datalog and its application to query optimisation.

Abstract:

Certain variants of object-oriented Datalog can be compiled to Datalog with negation. We seek to apply optimisations akin to virtual method resolution (a well-known technique in compiling Java and other OO languages) to improve efficiency of the resulting Datalog programs. The effectiveness of such optimisations strongly depends on the precision of the underlying type inference algorithm. Previous work on type inference for Datalog has focussed on Cartesian abstractions, where the type of eac...

Expand abstract

Actions


Access Document


Publisher copy:
10.1145/1376916.1376957

Authors


Contributors

Role:
Editor
Role:
Editor
Publisher:
ACM Publisher's website
Journal:
PODS
Pages:
291-300
Publication date:
2008-01-01
DOI:
URN:
uuid:f3dbd80f-2ce9-4416-9145-2879e4831a36
Source identifiers:
328647
Local pid:
pubs:328647
Language:
English
Keywords:

Terms of use


Metrics


Views and Downloads






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

TO TOP