首页   按字顺浏览 期刊浏览 卷期浏览 Handling database updates in two-dimensional temporal logic
Handling database updates in two-dimensional temporal logic

 

作者: Marcelo Finger,  

 

期刊: Journal of Applied Non-Classical Logics  (Taylor Available online 1992)
卷期: Volume 2, issue 2  

页码: 201-224

 

ISSN:1166-3081

 

年代: 1992

 

DOI:10.1080/11663081.1992.10510782

 

出版商: Taylor & Francis Group

 

数据来源: Taylor

 

摘要:

We introduce a two-dimensional temporal logic as a formalism which enables the description of both the history of a world and the evolution of an observer's views about the history. We apply such formalism to the description of certain problems that occur in historical database systems due to updates. The historical dimension describes the history of a world according to an observer's view at a certain moment in time. The transaction dimension describes the evolution of an observer's view; changes can occur in the observer's view of the present and future as well as in his views of the past. The database is seens as an observer of the history of the world. Besides describing the history of the world, the database system can also execute temporal specifications in the form of temporal actions. The two-dimensional formalism is used to describe the effects of updates in the execution of temporal actions. The detection of some problematic effects and its implementation are discussed.

 

点击下载:  PDF (1273KB)



返 回