TY - BOOK ID - 5235538 TI - Logics for databases and information systems. AU - Chomicki, Jan AU - Saake, Gunter PY - 1998 VL - SECS 436 SN - 0792381297 1461375827 1461556430 9780792381297 PB - Boston Kluwer DB - UniCat KW - Computer logic. KW - Database management. KW - Logique informatique KW - Bases de données KW - Gestion KW - Computer logic KW - Database management KW - 681.3*F41 KW - 681.3*H0 KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Computerwetenschap--?*H0 KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Bases de données KW - Data structures (Computer science). KW - Artificial intelligence. KW - Programming languages (Electronic computers). KW - Information storage and retrieval. KW - Data Structures and Information Theory. KW - Artificial Intelligence. KW - Programming Languages, Compilers, Interpreters. KW - Information Storage and Retrieval. KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Languages, Artificial KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - File organization (Computer science) KW - Abstract data types (Computer science) UR - https://www.unicat.be/uniCat?func=search&query=sysid:5235538 AB - 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 logic [GHR94] have found so far relatively few applications in the context of information systems. Moreover, one needs to bear in mind that for the standard linearly-ordered time domains temporal logic is not re cursively axiomatizable [GHR94]' so recursive axiomatizations are by necessity incomplete. ER -