- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Automatic Translation feature is available on CiNii Labs
- Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Database system based on intensional logic
Description
Model theoretic semantics of database systems is studied. As Rechard Montague has done in his work,5 we translate statements of DDL and DML into intensional logic and the latter is interpreted with reference to a suitable model. Major advantages of its approach include (i) it leads itself to the design of database systems which can handle historical data, (ii) it provides with a formal description of database semantics.
Journal
-
- Proceedings of the 8th conference on Computational linguistics -
-
Proceedings of the 8th conference on Computational linguistics - 220-, 1980-01-01
Association for Computational Linguistics (ACL)
