TY  - BOOK
AU  - Nguyen Viet Hai
AU  - Phan,Minh Dung
AU  - Huynh,Ngoc Phien
AU  - Sadananda,Ramakoti
ED  - The Australian Government, 
TI  - Computing well-founded semantics of deductive databases
T2  - Thesis
PY  - 1990///
CY  - Bangkok
PB  - Asian Institute of Technology
KW  - Programming languages (Electronic computers)
KW  - Semantics
N1  - A thesis submitted in partial fulfillment of the requirements for  the degree of Master of Science, School of Engineering and Technology; Thesis (M.Sc.) - Asian Institute of Technology, 1990
N2  - In this study we present a bottom-up procedure to compute the  well-founded semantics of a datalog program (function free logic  program) on a language with infinitely many constants. The  distinguished features of our approach are:  Our method can be applied to any program: The class of  programs for which our method can be applied is neither restricted  to the class of stratified nor locally stratified programs as in  some other methods.  There is also no restriction about the existence of a complete  well-founded model and the method can be used to compute the well founded partial model.  The underlying language is permitted to have infinitely many  constants
UR  - http://203.159.5.9/ait-thesis/detail.php?q=B18301
ER  -