Logic in databases: International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1996
|
| Schriftenreihe: | Lecture notes in computer science
1154 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 495 S. graph. Darst. |
| ISBN: | 3540618147 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010951181 | ||
| 003 | DE-604 | ||
| 005 | 19970421 | ||
| 007 | t| | ||
| 008 | 960909s1996 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 948469641 |2 DE-101 | |
| 020 | |a 3540618147 |9 3-540-61814-7 | ||
| 035 | |a (OCoLC)35559122 | ||
| 035 | |a (DE-599)BVBBV010951181 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-92 |a DE-19 |a DE-706 |a DE-634 |a DE-83 | ||
| 050 | 0 | |a QA76.9.D3L642 1996 | |
| 082 | 0 | |a 005.74/01/5113 |2 20 | |
| 082 | 0 | |a 005.74/01/5113 20 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 651f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Logic in databases |b International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings |c Dino Pedreschi ... (eds.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1996 | |
| 300 | |a X, 495 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1154 | |
| 650 | 4 | |a Bases de données - Gestion - Congrès | |
| 650 | 7 | |a Bases de données - Gestion - Congrès |2 ram | |
| 650 | 4 | |a Bases de données déductives - Congrès | |
| 650 | 7 | |a Bases de données déductives - Congrès |2 ram | |
| 650 | 7 | |a Databanken |2 gtt | |
| 650 | 4 | |a Programmation logique - Congrès | |
| 650 | 7 | |a Programmation logique - Congrès |2 ram | |
| 650 | 7 | |a base donnée active |2 inriac | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a base donnée logique |2 inriac | |
| 650 | 7 | |a base donnée orientée objet |2 inriac | |
| 650 | 7 | |a extension langage |2 inriac | |
| 650 | 7 | |a logique |2 inriac | |
| 650 | 7 | |a raisonnement spatial |2 inriac | |
| 650 | 7 | |a raisonnement temporel |2 inriac | |
| 650 | 4 | |a Database management -- Congresses | |
| 650 | 4 | |a Deductive databases -- Congresses | |
| 650 | 4 | |a Logic programming -- Congresses | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z San Miniato |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Pedreschi, Dino |e Sonstige |4 oth | |
| 711 | 2 | |a LID |d 1996 |c San Miniato |j Sonstige |0 (DE-588)2158519-2 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1154 |w (DE-604)BV000000607 |9 1154 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007324898&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007324898 | |
Datensatz im Suchindex
| _version_ | 1820868187361640448 |
|---|---|
| adam_text |
DINO PEDRESCHI CARLO ZANIOLO (EDS.) LOGIC IN DATABASES INTERNATIONAL
WORKSHOP LID '96 SAN MINIATO, ITALY, JULY 1-2, 1996 PROCEEDINGS SPRINGER
TABLE OF CONTENTS KEYNOTE LECTURE 1 LOGIC AND DATABASES: A 20 YEAR
RETROSPECTIVE 3 J. MINKER UNCERTAINTY 59 A PARAMETRIC APPROACH TO
DEDUCTIVE DATABASES WITH UNCERTAINTY 61 L.V.S. LAKSHMANAN, N. SHIRI A
DEDUCTIVE DATABASE APPROACH TO PLANNING IN UNCERTAIN ENVIRONMENTS . 83
V. S. SUBRAHMANIAN, C. WARD TEMPORAL AND SPATIAL REASONING 99
TERMINATION PROPERTIES OF SPATIAL DATALOG PROGRAMS 101 B. KUIJPERS, J.
PAREDAENS, M. SMITS, J. VAN DEN BUSSCHE APPLYING TRANSITION RULES TO
BITEMPORAL DEDUCTIVE DATABASES FOR INTEGRITY CONSTRAINT CHECKING 117 C.
MARTIN, J. SISTAC INVITED LECTURE 135 TOWARDS A UNIFIED AGENT
ARCHITECTURE THAT COMBINES RATIONALITY WITH REACTIVITY 137 R. KOWALSKI,
F. SADRI UPDATES 151 LEARNING QUERY RULES FOR OPTIMIZING DATABASES WITH
UPDATE RULES . . . . 153 D. LAURENT, C. VRAIN ACTIVE DATABASES 173
FORMAL CHARACTERIZATION OF ACTIVE DATABASES 175 C. BARAL, J. LOBO NESTED
TRANSACTIONS IN A LOGICAL LANGUAGE FOR ACTIVE RULES 197 B. LUDASCHER, W.
MAY, G. LAUSEN PANEL DISCUSSION 223 DEDUCTIVE DATABASES: CHALLENGES,
OPPORTUNITIES AND FUTURE DIRECTIONS . . 225 WITH THE PARTICIPATION OF A.
SIEBES, S. TSUR, J. ULLMAN, L. VIELLE, C. ZANIOLO SEMANTICS 231 R-STABLE
MODELS FOR LOGIC PROGRAMS 233 H. JAKOBOVITS, D. VERMEIR THE EXPRESSIVE
POWER OF PARTIAL MODELS IN DISJUNCTIVE DEDUCTIVE DATABASES 245 T. EITER,
N. LEONE, D. SACCA STABLE MODEL CHECKING FOR DISJUNCTIVE LOGIC PROGRAMS
265 N. LEONE, P. RULLO, F. SCARCELLO ADVANCED APPLICATIONS 279 ANALYSIS
OF LOGIC-BASED SYSTEMS 281 D. BOULANGER AN AXIOMATIC INTERPRETATION OF
CONFIDENTIALITY DEMANDS IN LOGIC-BASED RELATIONAL DATABASES 303 A.
SPALKA, A.B. CREMERS, QUERY EVALUATION 32 1 DATABASE QUERY EVALUATION
WITH THE STARBASE METHOD 323 E. PULIDO THE LIMITS OF FIXED-ORDER
COMPUTATION 343 K. SAGONAS, T. SWIFT, D.S. WARREN INVITED LECTURE 365
THE IQ SYSTEM: A DEDUCTIVE DATABASE INFORMATION LENS FOR REASONING ABOUT
TEXTUAL INFORMATION 367 B. KERO, S. TSUR LANGUAGE EXTENSIONS 387
ARITHMETIC AND AGGREGATE OPERATORS IN DEDUCTIVE OBJECT-ORIENTED
DATABASES 389 G. DOBBIE, R. TOPOR SEQUENCE DATALOG: DECLARATIVE STRING
MANIPULATION IN DATABASES 399 A. BONNER, G. MECCA LANGUAGE EXTENSIONS
FOR SEMANTIC INTEGRATION OF DEDUCTIVE DATABASES . . 415 P. ASIRELLI, C.
RENSO, F. TURINI UNIFICATION OF BOUNDED SIMPLE SET TERMS IN DEDUCTIVE
DATABASES 435 S. GRECO, C. MATEIS, E. SPADAFORA LOGIC CONSTRUCTS AND
EXPRESSIVE POWER 455 EXPRESSIVENESS OF SEMIPOSITIVE LOGIC PROGRAMS WITH
VALUE INVENTION . . . 457 L. CABIBBO A MORE EXPRESSIVE DETERMINISTIC
QUERY LANGUAGE WITH EFFICIENT SYMMETRY- BASED CHOICE CONSTRUCT 475 F.
GIRE, H.K. HOANG AUTHOR INDEX 497 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010951181 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3L642 1996 |
| callnumber-search | QA76.9.D3L642 1996 |
| callnumber-sort | QA 276.9 D3 L642 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| classification_tum | DAT 540f DAT 651f |
| ctrlnum | (OCoLC)35559122 (DE-599)BVBBV010951181 |
| dewey-full | 005.74/01/5113 005.74/01/511320 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.74/01/5113 005.74/01/5113 20 |
| dewey-search | 005.74/01/5113 005.74/01/5113 20 |
| dewey-sort | 15.74 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010951181</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970421</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960909s1996 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948469641</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540618147</subfield><subfield code="9">3-540-61814-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)35559122</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010951181</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3L642 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.74/01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.74/01/5113 20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic in databases</subfield><subfield code="b">International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings</subfield><subfield code="c">Dino Pedreschi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 495 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1154</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bases de données - Gestion - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bases de données - Gestion - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bases de données déductives - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Bases de données déductives - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Databanken</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation logique - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée active</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée déductive</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">base donnée orientée objet</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">extension langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement spatial</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement temporel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deductive databases -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming -- Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1996</subfield><subfield code="z">San Miniato</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbanksystem</subfield><subfield code="0">(DE-588)4113276-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Pedreschi, Dino</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">LID</subfield><subfield code="d">1996</subfield><subfield code="c">San Miniato</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2158519-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1154</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1154</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007324898&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007324898</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 San Miniato gnd-content |
| genre_facet | Konferenzschrift 1996 San Miniato |
| id | DE-604.BV010951181 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:20:23Z |
| institution | BVB |
| institution_GND | (DE-588)2158519-2 |
| isbn | 3540618147 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007324898 |
| oclc_num | 35559122 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-92 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-92 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 |
| physical | X, 495 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings Dino Pedreschi ... (eds.) Berlin u.a. Springer 1996 X, 495 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1154 Bases de données - Gestion - Congrès Bases de données - Gestion - Congrès ram Bases de données déductives - Congrès Bases de données déductives - Congrès ram Databanken gtt Programmation logique - Congrès Programmation logique - Congrès ram base donnée active inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac extension langage inriac logique inriac raisonnement spatial inriac raisonnement temporel inriac Database management -- Congresses Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 San Miniato gnd-content Datenbanksystem (DE-588)4113276-2 s Logische Programmierung (DE-588)4195096-3 s DE-604 Pedreschi, Dino Sonstige oth LID 1996 San Miniato Sonstige (DE-588)2158519-2 oth Lecture notes in computer science 1154 (DE-604)BV000000607 1154 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007324898&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings Lecture notes in computer science Bases de données - Gestion - Congrès Bases de données - Gestion - Congrès ram Bases de données déductives - Congrès Bases de données déductives - Congrès ram Databanken gtt Programmation logique - Congrès Programmation logique - Congrès ram base donnée active inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac extension langage inriac logique inriac raisonnement spatial inriac raisonnement temporel inriac Database management -- Congresses Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4113276-2 (DE-588)1071861417 |
| title | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings |
| title_auth | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings |
| title_exact_search | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings |
| title_full | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings Dino Pedreschi ... (eds.) |
| title_fullStr | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings Dino Pedreschi ... (eds.) |
| title_full_unstemmed | Logic in databases International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings Dino Pedreschi ... (eds.) |
| title_short | Logic in databases |
| title_sort | logic in databases international workshop lid 96 san miniato italy july 1 2 1996 proceedings |
| title_sub | International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 ; proceedings |
| topic | Bases de données - Gestion - Congrès Bases de données - Gestion - Congrès ram Bases de données déductives - Congrès Bases de données déductives - Congrès ram Databanken gtt Programmation logique - Congrès Programmation logique - Congrès ram base donnée active inriac base donnée déductive inriac base donnée logique inriac base donnée orientée objet inriac extension langage inriac logique inriac raisonnement spatial inriac raisonnement temporel inriac Database management -- Congresses Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd Datenbanksystem (DE-588)4113276-2 gnd |
| topic_facet | Bases de données - Gestion - Congrès Bases de données déductives - Congrès Databanken Programmation logique - Congrès base donnée active base donnée déductive base donnée logique base donnée orientée objet extension langage logique raisonnement spatial raisonnement temporel Database management -- Congresses Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung Datenbanksystem Konferenzschrift 1996 San Miniato |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007324898&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pedreschidino logicindatabasesinternationalworkshoplid96sanminiatoitalyjuly121996proceedings AT lidsanminiato logicindatabasesinternationalworkshoplid96sanminiatoitalyjuly121996proceedings |