Analysis of some methods to avoid infinite loops in the process of query valuation for the datalog proograms.

Hồ Thuần, Lê Mạnh Thạnh, Trương Công Tuấn

Abstract


-



DOI: https://doi.org/10.15625/1813-9663/18/2/1597 Display counter: Abstract : 45 views. PDF : 55 views. PDF (Tiếng Việt) : 14 views.

Journal of Computer Science and Cybernetics ISSN: 1813-9663

Published by Vietnam Academy of Science and Technology