Database system based on intensional logic

Authors:
Naoki Yonezaki;Hajime Enomoto
Affiliations:
Tokyo Institute Of Technology, Tokyo, Japan;Tokyo Institute Of Technology, Tokyo, Japan
Venue:
COLING '80 Proceedings of the 8th conference on Computational linguistics
Year:
1980

Citing 2
Cited 2

Logic and Data Bases

Logic and Data Bases
Null values in data base management a denotational semantics approach

SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data

Functional specification of synchronized processes based on modal logic

ICSE '82 Proceedings of the 6th international conference on Software engineering
An application of montague grammar to English-Japanese machine translation

ANLC '83 Proceedings of the first conference on Applied natural language processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.