| 000 | 02358nam a2200385 4500 | ||
|---|---|---|---|
| 005 | 20260818084704.0 | ||
| 008 | 280898 th eng | ||
| 035 | _a.b10162124 | ||
| 099 | 9 | _aAIT Thesis no.CS-90-24 | |
| 100 | 0 | _aNguyen Viet Hai | |
| 245 | 1 | 0 | _aComputing well-founded semantics of deductive databases |
| 260 |
_aBangkok : _bAsian Institute of Technology, _c1990 |
||
| 300 | _a46 p. | ||
| 490 | 1 |
_aThesis ; _vno. CS-90-24 |
|
| 500 | _aA thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology | ||
| 502 | _aThesis (M.Sc.) - Asian Institute of Technology, 1990 | ||
| 520 | _aIn 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 . | ||
| 650 | 0 |
_aProgramming languages (Electronic computers) _xSemantics |
|
| 700 | 1 |
_aPhan, Minh Dung, _eChairperson |
|
| 700 | 1 |
_aHuynh, Ngoc Phien, _eExamination Committee |
|
| 700 | 1 |
_aSadananda, Ramakoti, _eExamination Committee |
|
| 710 | 2 |
_aThe Australian Government, _eScholarship Donor |
|
| 810 | 2 |
_aAsian Institute of Technology. _tThesis ; _vno. CS-90-24 |
|
| 856 |
_3Full-Text _uhttp://203.159.5.9/ait-thesis/detail.php?q=B18301 |
||
| 907 |
_a.b10162124 _bmnait _cx |
||
| 902 | _a240411 | ||
| 998 |
_b2 _c951012 _dm _ea _fx _g0 |
||
| 945 | _lmnait | ||
| 945 | _lmnarc | ||
| 942 | _c22 | ||
| 942 | _c40 | ||
| 909 |
_aBarcode : 30050120677520 _bCREATED : 2014-11-02 _cRECORD # : i12761163 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 909 |
_aBarcode : 30050120373021 _bCREATED : 2016-08-06 _cRECORD # : i13025703 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 999 |
_c21497 _d21497 |
||