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
- Publisher copy:
- Copyright date:
Type inference for datalog and its application to query optimisation.
Views and Downloads
If you are the owner of this record, you can report an update to it here: Report update to this record