简·乔米奇（编辑）;冈特萨克（编辑） 数据库和信息系统的逻辑。 （英语） Zbl 0889.00013号 Kluwer国际工程与计算机科学系列. 436. 马萨诸塞州波士顿：Kluwer学术出版社。xiii，430页（1998年）。 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：乔米奇，简；冈特·萨克，数据库和信息系统逻辑导论，1-4[Zbl 0925.03157号]斯特凡·康拉德，逻辑入门，5-30[兹伯利0905.03013]乔米奇，简；大卫·托曼，信息系统中的时间逻辑，31-70[Zbl 0955.03513号]Meyer，J.-J.Ch。；Wieringa，R.J。；迪格纳姆，F.P.M。，道义逻辑在信息系统规范中的作用，71-115[Zbl 0906.03032号]安东尼·邦纳（Anthony J.Bonner）。；迈克尔·基弗，数据库事务编程逻辑，117-166[Zbl 0908.03037号]汉斯·迪特·埃里奇；卡洛斯·卡莱罗；阿米尔卡（Amilcar）的Sernadas；Denker，砂砾，指定并发信息系统的逻辑，167-198[Zbl 0905.03015号]康拉德（Conrad）、斯特凡（Stefan）；詹姆·拉莫斯；冈特·萨克（Gunter Saake）；克里斯蒂娜·瑟纳达斯《信息系统中不断演变的逻辑规范》，199-228[Zbl 0905.03014号]迭戈·卡尔瓦内斯；莫里齐奥·伦泽里尼（Maurizio Lenzerini）；丹尼尔·纳尔迪，概念数据建模的描述逻辑，229-263[Zbl 0905.03016号]帕克·戈弗雷；约翰·格兰特；杰瑞克·格雷兹（Jarek Gryz）；杰克·明克尔，完整性约束：语义和应用，265-306[Zbl 0903.68063号]罗恩·范德梅登《不完全信息的逻辑处理方法：一项调查》，307-356[Zbl 0903.68064号]Lakshmanan，Laks V.S。；克里希纳普拉萨德·瑟伦纳亚扬，继承的声明性框架，357-388[Zbl 0903.68065号]乔治·劳森；吕德舍尔，伯特伦；五月，沃尔夫冈，基于活动数据库的逻辑基础，389-422[Zbl 0903.68066号] MSC公司： 00B15号机组 杂项特定利益物品的收集 03-06 与数理逻辑和基础有关的论文集、会议、合集等 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：逻辑;数据库;信息系统 软件：OBJ3型 PDF格式BibTeX公司 XML格式引用 \textit{J.Chomicki}（编辑）和\textit{G.Saake}（主编），数据库和信息系统逻辑。马萨诸塞州波士顿：Kluwer学术出版社（1998；Zbl 0889.00013）