| 書目名稱 | Logics for Databases and Information Systems | | 編輯 | Jan Chomicki,Gunter Saake | | 視頻video | http://file.papertrans.cn/589/588176/588176.mp4 | | 叢書名稱 | The Springer International Series in Engineering and Computer Science | | 圖書封面 |  | | 描述 | Time is ubiquitous in information systems. Almost every enterprise faces the problem of its data becoming out of date. However, such data is often valu- able, so it should be archived and some means to access it should be provided. Also, some data may be inherently historical, e.g., medical, cadastral, or ju- dicial records. Temporal databases provide a uniform and systematic way of dealing with historical data. Many languages have been proposed for tem- poral databases, among others temporal logic. Temporal logic combines ab- stract, formal semantics with the amenability to efficient implementation. This chapter shows how temporal logic can be used in temporal database applica- tions. Rather than presenting new results, we report on recent developments and survey the field in a systematic way using a unified formal framework [GHR94; Ch094]. The handbook [GHR94] is a comprehensive reference on mathematical foundations of temporal logic. In this chapter we study how temporal logic is used as a query and integrity constraint language. Consequently, model-theoretic notions, particularly for- mula satisfaction, are of primary interest. Axiomatic systems and proof meth- ods for temporal | | 出版日期 | Book 1998 | | 關鍵詞 | concurrency; database; description logics; information; information system; programming; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-1-4615-5643-5 | | isbn_softcover | 978-1-4613-7582-1 | | isbn_ebook | 978-1-4615-5643-5Series ISSN 0893-3405 | | issn_series | 0893-3405 | | copyright | Kluwer Academic Publishers 1998 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 15:05
發(fā)表于 2025-3-21 19:41:22
