AI SearchComputing well-founded semantics of deductive databases (Record no. 21497)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02358nam a2200385 4500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20260818084704.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 280898 th eng |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | .b10162124 |
| 099 #9 - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | AIT Thesis no.CS-90-24 |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Nguyen Viet Hai |
| 245 10 - TITLE STATEMENT | |
| Title | Computing well-founded semantics of deductive databases |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Bangkok : |
| Name of publisher, distributor, etc. | Asian Institute of Technology, |
| Date of publication, distribution, etc. | 1990 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 46 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Thesis ; |
| Volume/sequential designation | no. CS-90-24 |
| 500 ## - GENERAL NOTE | |
| General note | A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science, School of Engineering and Technology |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Asian Institute of Technology, 1990 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 . |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Programming languages (Electronic computers) |
| General subdivision | Semantics |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Phan, Minh Dung, |
| Relator term | Chairperson |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huynh, Ngoc Phien, |
| Relator term | Examination Committee |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sadananda, Ramakoti, |
| Relator term | Examination Committee |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | The Australian Government, |
| Relator term | Scholarship Donor |
| 810 2# - SERIES ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Asian Institute of Technology. |
| Title of a work | Thesis ; |
| Volume/sequential designation | no. CS-90-24 |
| 856 ## - ELECTRONIC LOCATION AND ACCESS | |
| Materials specified | Full-Text |
| Uniform Resource Identifier | <a href="http://203.159.5.9/ait-thesis/detail.php?q=B18301">http://203.159.5.9/ait-thesis/detail.php?q=B18301</a> |
| 907 ## - LOCAL DATA ELEMENT G, LDG (RLIN) | |
| a | .b10162124 |
| b | mnait |
| c | x |
| 902 ## - LOCAL DATA ELEMENT B, LDB (RLIN) | |
| a | 240411 |
| 998 ## - LOCAL CONTROL INFORMATION (RLIN) | |
| Operator's initials, OID (RLIN) | 2 |
| Cataloger's initials, CIN (RLIN) | 951012 |
| First date, FD (RLIN) | m |
| -- | a |
| -- | x |
| -- | 0 |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnait |
| 945 ## - LOCAL PROCESSING INFORMATION (OCLC) | |
| l | mnarc |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 22-AIT Thesis (Replacement) |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | 40-Archives |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120677520 |
| CREATED | CREATED : 2014-11-02 |
| RECORD Id | RECORD # : i12761163 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| 909 ## - LOCAL ITEMS USED | |
| Barcode | Barcode : 30050120373021 |
| CREATED | CREATED : 2016-08-06 |
| RECORD Id | RECORD # : i13025703 |
| LPATRON | LPATRON : 0 |
| LCHKIN | LCHKIN : - |
| RENEWALS | # RENEWALS : 0 |
| -- | # OVERDUE : 0 |
| -- | IUSE3 : 0 |
| -- | TOT CHKOUT : 0 |
| -- | TOT RENEW : 0 |
| Withdrawn status | Lost status | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Cost, normal purchase price | Total checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | AIT Publications | 18/08/2026 | 50.00 | AIT Thesis no.CS-90-24 | 30050120677520 | 18/08/2026 | 3 | 18/08/2026 | 22-AIT Thesis (Replacement) | ||||
| Available for Loans | Asian Institute of Technology Library | Asian Institute of Technology Library | Archives | 18/08/2026 | AIT Thesis no.CS-90-24 | 30050120373021 | 18/08/2026 | 18/08/2026 | 40-Archives |