Logics for Databases and Information Systems
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer US

9781461375821, 9781461556435
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals The Role of Deontic Logic in the Specification of Information Systems

1998 ◽  
pp. 71-115 ◽  
Author(s):  
J.-J. Ch. Meyer ◽  
R. J. Wieringa ◽  
F. P. M. Dignum
Keyword(s):  
Information Systems ◽  
Deontic Logic

Evolving Logical Specification in Information Systems

1998 ◽  
pp. 199-228 ◽  
Author(s):  
Stefan Conrad ◽  
Jaime Ramos ◽  
Gunter Saake ◽  
Cristina Sernadas
Keyword(s):  
Information Systems ◽  
Logical Specification

Temporal Logic in Information Systems

1998 ◽  
pp. 31-70 ◽  
Author(s):  
Jan Chomicki ◽  
David Toman
Keyword(s):  
Information Systems ◽  
Temporal Logic

On Logical Foundations of Active Databases

1998 ◽  
pp. 389-422 ◽  
Author(s):  
Georg Lausen ◽  
Bertram Ludäscher ◽  
Wolfgang May
Keyword(s):  
Active Databases ◽  
Logical Foundations

A Logic Primer

1998 ◽  
pp. 5-30 ◽  
Author(s):  
Stefan Conrad

Logics for Specifying Concurrent Information Systems

1998 ◽  
pp. 167-198 ◽  
Author(s):  
Hans-Dieter Ehrich ◽  
Carlos Caleiro ◽  
Amilcar Sernadas ◽  
Grit Denker
Keyword(s):  
Information Systems ◽  
Concurrent Information

scholarly journals Description Logics for Conceptual Data Modeling

1998 ◽  
pp. 229-263 ◽  
Author(s):  
Diego Calvanese ◽  
Maurizio Lenzerini ◽  
Daniele Nardi
Keyword(s):  
Description Logics ◽  
Data Modeling ◽  
Conceptual Data

Integrity Constraints: Semantics and Applications

1998 ◽  
pp. 265-306 ◽  
Author(s):  
Parke Godfrey ◽  
John Grant ◽  
Jarek Gryz ◽  
Jack Minker
Keyword(s):  
Integrity Constraints
Load More ...
Sign in / Sign up

Export Citation Format

Share Document