default search action

combined dblp search
author search
venue search
publication search

ask others

0th ADBT 1977: Toulouse, France

> Home > Conferences and Workshops > ADBT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/77
Hervé Gallaire, Jack Minker:
Logic and Data Bases, Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse, France, 1977. Advances in Data Base Theory, Plemum Press 1978, ISBN 0-306-40060-X

Introduction

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/GallaireMN77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/GallaireMN77
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas:
An Overview and Introduction to Logic and Data Bases. 3-30

Data Bases Viewed Through Formal Logic

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/NicolasM77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/NicolasM77
Jean-Marie Nicolas, Hervé Gallaire:
Data Base: Theory vs. Interpretation. 33-54
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Reiter77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Reiter77
Raymond Reiter:
On Closed World Data Bases. 55-76
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Kowalski77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Kowalski77
Robert A. Kowalski:
Logic for Data Description. 77-103

Knowledge Representation and Deduction

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Minker77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Minker77
Jack Minker:
An Experimental Relational Data Base System Based on Logic. 107-147
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Reiter77a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Reiter77a
Raymond Reiter:
Deductive Question-Answering on Relational Data Bases. 149-177
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/KelloggKT77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/KelloggKT77
Charles Kellogg, Philip Klahr, Larry Travis:
Deductive Planning and Pathfinding for Relational Data Bases. 179-200
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Chang77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Chang77
Chin-Liang Chang:
DEDUCE 2: Further Investigations of Deduction in Relational Data Bases. 201-236
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/ColombettiPP77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/ColombettiPP77
Marco Colombetti, Paolo Paolini, Giuseppe Pelagatti:
Nondeterministic Languages Used for the Definition of Data Models. 237-257
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Tarnlund77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Tarnlund77
Sten-Åke Tärnlund:
An Axiomatic Data Base Theory. 259-289

Negative Information and Data Bases

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Clark77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Clark77
Keith L. Clark:
Negation as Failure. 293-322

Logic and Data Base Integrity

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/NicolasY77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/NicolasY77
Jean-Marie Nicolas, Kioumars Yazdanian:
Integrity Checking in Deductive Data Bases. 325-344

Query Languages and Applications

- view
  authority control:
- export record
  dblp key:
  - conf/adbt/FutoDS77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/FutoDS77
Ivan Futó, Ferenc Darvas, Péter Szeredi:
The Application of Prolog to the Development of QA and DBM Systems. 347-376
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/DilgerZ77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/DilgerZ77
Werner Dilger, Gisela Zifonun:
The Predicate Calculus-Language KS as a Query Language. 377-408
- view
  authority control:
- export record
  dblp key:
  - conf/adbt/Pirotte77
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbt/Pirotte77
Alain Pirotte:
High Level Data Base Query Languages. 409-436

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.