THE LOGIC INTERPRETATIN OF SEMANTIC DATA MODEL
博士 === 國立清華大學 === 資訊科學研究所 === 79 === Recently, mathematical logic is used for the modeling of relational database. It provides a formal basis for the research of database theory. Previous works have shown that One-sorted First-order Logic (OSFOL) is suffi...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | zh-TW |
| Published: |
1990
|
| Online Access: | http://ndltd.ncl.edu.tw/handle/96145876654087885386 |