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. |
Year | DOI | Venue |
---|---|---|
1980 | 10.3115/990174.990212 | COLING |
Keywords | Field | DocType |
database system,intensional logic,suitable model,historical data,model theoretic semantics,database semantics,rechard montague,formal description,major advantage | Programming language,Database model,Computer science,View,Database schema,Database design,Physical data model,Database theory,Intensional logic,Semantics,Database | Conference |
Volume | Citations | PageRank |
C80-1 | 2 | 0.50 |
References | Authors | |
2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Naoki Yonezaki | 1 | 107 | 20.02 |
Hajime Enomoto | 2 | 53 | 18.27 |