Fixpoint semantics and optimization of recursive Datalog programs with aggregates*

Publisher： Cambridge University Press

E-ISSN： 1475-3081|17|5-6|1048-1065

ISSN： 1471-0684

Source： Theory and Practice of Logic Programming, Vol.17, Iss.5-6, 2017-09, pp. : 1048-1065

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

InfoVis Interaction Techniques in Animation of Recursive Programs

By Velázquez-Iturbide J. Ángel   Pérez-Carrasco Antonio  

Algorithms, Vol. 3, Iss. 1, 2010-02 ,pp. : 76-91

MDPI

Access to resources Recommend Favorite

The intricacies of three-valued extensional semantics for higher-order logic programs

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 5-6, 2017-09 ,pp. : 974-991

Cambridge University Press

Access to resources Recommend Favorite

A linear algebraic approach to datalog evaluation

By  

Theory and Practice of Logic Programming, Vol. 17, Iss. 3, 2017-05 ,pp. : 244-265

Cambridge University Press

Access to resources Recommend Favorite

Multi-Objective Stochastic Optimization Programs for a Non-Life Insurance Company under Solvency Constraints

By Kaucic Massimiliano   Daris Roberto  

Risks, Vol. 3, Iss. 3, 2015-09 ,pp. : 390-419

MDPI

Access to resources Recommend Favorite

Recursive modelling in dynamics of Delta parallel robot

By  

Robotica, Vol. 27, Iss. 2, 2009-03 ,pp. : 199-207

Cambridge University Press

Access to resources Recommend Favorite