Authors:
Susumu Yamasaki
1
and
Mariko Sasakura
2
Affiliations:
1
Okayama University, Tsushima-Naka, Okayama, Japan
;
2
IPDRE, Tottori University, Hamasaka, Tottori City, Japan
Keyword(s):
Logic, Data Acquisition, Database Semantics.
Abstract:
This paper is concerned with website page references including streams from on-line seminar, as reference data of website organization. The motive to take data processing of website pages comes from our observation that the website page references contain a structure of data acquisition and of logical database framework. As formality of data processing, we then treat logical expressions in intuitionistic propositional logic. By evaluating linkage of website pages as well as balked and suspended negatives of link, we make analysis of the structure contained in processes of using website page references, for the purpose of data acquisition and database semantics. As logical expressions, we make use of logical rules, from the views of structural analysis of linkage consistency. By means of query derivation to the logical rule set, we can have 3-valued domain model theory in logical rule sets. The query derivation of this paper is a newly designed method for data acquisition. With respec
t to abstraction of the state notion from computing environments, a logical database is formulated as a state constraint rule set with data acquisition capability, causing state transitions. The behavioural meaning of logical databases is captured in modal operator such that we can apply a modal logic to meaning descriptions of logical databases. With a different level of logical framework for the meaning of database, modal logic is presented. Apart from the level of logical database in intuitionistic propositional logic, modal operator may be related to semantics for database. By means of fixed point of some function denoting a relation between states for the modal operator, computing-environment states are specified to be concerned with the logical databases.
(More)