schliessen

Filtern

 

Bibliotheken

Logics for Databases and Information Systems / edited by Jan Chomicki, Gunter Saake

The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. In this context, logic offers a wide variety of formalisms that can be applied to the specification, analysis, and prototype implementation of inf... Full description

PPN (Catalogue-ID): 749255153
Personen: Chomicki, Jan
Saake, Gunter
Format: eBook eBook
Language: English
Published: Boston, MA, Springer, 1998
Series: The Springer International Series in Engineering and Computer Science (436)
Physical Description: Online-Ressource (XIII, 430 p), digital.
ISBN: 978-1-4615-5643-5

Similar Items

Vorhandene Hefte/Bände

more (+)

Informationen zur Verfügbarkeit werden geladen

Staff View
LEADER 03722cam a22005772 4500
001 749255153
003 DE-627
005 20180412222124.0
007 cr uuu---uuuuu
008 130610s1998 xx |||||o 00| ||eng c
020 |a 9781461556435  |9 978-1-4615-5643-5 
024 7 |a 10.1007/978-1-4615-5643-5  |2 doi 
035 |a (DE-627)749255153 
035 |a (DE-599)GBV749255153 
035 |a (DE-He213)978-1-4615-5643-5 
040 |a DE-627  |b ger  |c DE-627  |e rakwb 
041 |a eng 
044 |c XD-US 
050 0 |a QA76.9.D35 
082 0 |a 005.74  |2 23 
100 1 |a Chomicki, Jan 
245 1 0 |a Logics for Databases and Information Systems  |c edited by Jan Chomicki, Gunter Saake 
264 1 |a Boston, MA  |b Springer  |c 1998 
300 |a Online-Ressource (XIII, 430 p)  |b digital 
337 |a Computermedien  |b c  |2 rdamedia 
338 |a Online-Ressource  |b cr  |2 rdacarrier 
490 0 |a The Springer International Series in Engineering and Computer Science  |v 436 
520 |a The designers and users of present-day information systems deal with more and more complex applications that have to meet stringent quality requirements. In this context, logic offers a wide variety of formalisms that can be applied to the specification, analysis, and prototype implementation of information systems. Such formalisms, e.g., temporal logic, provide a sound semantic basis for further extensions and for the development of practical database languages. Logics for Databases and Information Systems addresses novel applications of logical frameworks to the problems of database integrity and dynamics, handling time and change, concurrency, incomplete information, data modeling, and property inheritance. Each topic is discussed by leading researchers in the field. Logics for Databases and Information Systems is suitable as a secondary text for a graduate level course on Databases and Information Systems, and as a reference for researchers and practitioners in industry 
533 |f Springer eBook Collection. Engineering 
700 1 |a Saake, Gunter 
776 1 |z 9781461375821  |9 978-1-4613-7582-1 
856 4 0 |u http://dx.doi.org/10.1007/978-1-4615-5643-5  |z Lizenzpflichtig  |3 Volltext 
912 |a ZDB-2-ENG  |b 1998 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_20 
912 |a SYSFLAG_1 
912 |a GBV_KXP 
912 |a ZDB-2-ENG  |b 1998 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_60 
912 |a ZDB-2-ENG  |b 1998 
912 |a ZDB-2-BAE 
912 |a GBV_ILN_70 
951 |a BO 
980 |2 20  |1 01  |b 1657104923  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0084  |y z  |z 07-01-17 
980 |2 60  |1 01  |b 1599862166  |h SpringerLink  |k Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |k Nur für Angehörige der HSU: Volltextzugang von außerhalb des Campus mit Anmeldung über Shibboleth mit Ihrer Bibliothekskennung  |x 0705  |y z  |z 09-02-16 
980 |2 70  |1 01  |b 1532503350  |h OLR-SBAEN  |k Campusweiter Zugriff (Universität Hannover). - Vervielfältigungen (z.B. Kopien, Downloads) sind nur von einzelnen Kapiteln oder Seiten und nur zum eigenen wissenschaftlichen Gebrauch erlaubt. Keine Weitergabe an Dritte. Kein systematisches Downloaden durch Robots.  |x 0089  |y z  |z 27-03-15 
981 |2 20  |1 01  |r http://dx.doi.org/10.1007/978-1-4615-5643-5 
981 |2 70  |1 01  |r http://dx.doi.org/10.1007/978-1-4615-5643-5 
995 |2 60  |1 01  |a SpringerLink 
995 |2 70  |1 01  |a OLR-SBAEN