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:
Source identifiers:
328647
Language:
English
Keywords:
Pubs id:
pubs:328647
UUID:
uuid:f3dbd80f-2ce9-4416-9145-2879e4831a36
Local pid:
pubs:328647
Deposit date:
2013-11-17

Terms of use


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