Deductive and object-oriented databases: proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Amsterdam [u.a.]
North-Holland
1990
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XVIII, 607 S. graph. Darst. |
| ISBN: | 0444884335 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008028769 | ||
| 003 | DE-604 | ||
| 005 | 20150128 | ||
| 007 | t| | ||
| 008 | 930713s1990 xx d||| |||| 10||| eng d | ||
| 020 | |a 0444884335 |9 0-444-88433-5 | ||
| 035 | |a (OCoLC)831237699 | ||
| 035 | |a (DE-599)BVBBV008028769 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-384 |a DE-91G |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D3 | |
| 082 | 0 | |a 005.75 |2 20 | |
| 084 | |a SD 1989 |0 (DE-625)142723: |2 rvk | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 315f |2 stub | ||
| 084 | |a DAT 650f |2 stub | ||
| 245 | 1 | 0 | |a Deductive and object-oriented databases |b proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 |c ed. by Won Kim ... |
| 264 | 1 | |a Amsterdam [u.a.] |b North-Holland |c 1990 | |
| 300 | |a XVIII, 607 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Programmation orientée objets (informatique) - Congrès |2 ram | |
| 650 | 7 | |a base donnée déductive |2 inriac | |
| 650 | 7 | |a base donnée orientée objet |2 inriac | |
| 650 | 7 | |a interrogation base donnée |2 inriac | |
| 650 | 4 | |a Deductive databases |v Congresses | |
| 650 | 4 | |a Object-oriented databases |v Congresses | |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Objektorientiertes Datenbanksystem |0 (DE-588)4202958-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1989 |z Kioto |2 gnd-content | |
| 689 | 0 | 0 | |a Objektorientiertes Datenbanksystem |0 (DE-588)4202958-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Kim, Won |e Sonstige |4 oth | |
| 711 | 2 | |a DOOD |n 1 |d 1989 |c Kyōto |j Sonstige |0 (DE-588)5052179-2 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283001&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-005283001 | |
Record in the Search Index
| _version_ | 1820868306149572608 |
|---|---|
| adam_text |
CONTENTS
KEYNOTE ADDRESS
Towards a New Step of Logic Paradigm
K.
Fuchi
A STATUS UPDATE ON DEDUCTIVE DATABASES
Object Identity and Inheritance in Deductive Databases:
An Evolutionary Approach (Invited Paper)
C. Zaniolo
7
Query Evaluation in Recursive Databases: Bottom-up and Top-down Reconciled
F.
Bry
25
DEDUCTIVE QUERY EVALUATION
On Termination of
Datalog
Programs (Extended Abstract)
A. Brodsky
and Y. Sagiv
47
The Level-Cycle Merging Method
J. Han and L.J. Henschen
65
Distribution of Selections: The Missing Link between Strategies for
Relational Databases and Deductive Databases
N. Miyazaki 83
Combining Deduction by Certainty with the Power of Magic
H. Schmidt,
N.
Steger,
U.
Güntzer,
W. Kiessling,
R.
Azone, and R.
Bayer 103
On Deductive Query Evaluation in the DedGin* System
A. Lefebvre and L.
Vieille
123
Detecting and Eliminating Redundant Derivations in Logic Knowledge Bases
A.R. Helm
145
OODB THEORY
A Theory of Functional Dependencies for Object-Oriented Data Models
G.E. Weddell 165
Object Identity, Equality and Relational Concept
Y. Masunaga
185
A Formal System for Producing Demons from Rules in
an Object-Oriented Database
Y. Caseau
203
OODB FEATURES
The Object-Oriented Database System Manifesto (Invited Paper)
M. Atkinson, F. Bancilhon, D.
DeWitt,
К.
Dittrich,
D.
Maier,
and
S. Zdonik
223
Meta
Operations for Type Management in Object-Oriented Databases:
A Lazy Mechanism for Schema Evolution
L. Tan and T. Katayama
241
A Tool Kit System for the Synthesis and the Management of
Active Media Objects
Y. Tanaka
259
OODB QUERIES
Object-Oriented Queries: Equivalence and Optimization
G.M. Shaw and S.B. Zdonik
281
On Natural Joins in Object-Oriented Databases
K. Tanaka and T.-S. Chang
297
Reloop,
an Algebra Based Query Language for an Object-Oriented
Database System
S. Cluet,
С
Delobel,
С
Lécluse,
and P. Richard
313
PANEL DISCUSSION
Next Generation Database Management Systems Technology
M.L. Brodie, F. Bancilhon,
С
Harris, M. Kifer, Y. Masunaga, E.D.
Sacerdoti,
and K. Tanaka
335
DATALOG
EXTENSION
Integration of Functions Defined with Rewriting Rules in
Datalog
S. Grumbach
349
Possible Model Semantics for Disjunctive Databases
С
Šakama
369
The Well Founded Semantics for Disjunctive Logic Programs
K.A. Ross
385
INTEGRATING OBJECTS AND RULES
Fonnál
Models for Object Oriented Databases (Invited Paper)
C. Been
405
HILOG: A High-Order Logic Programming Language for
Non-1NF
Deductive Databases
Q. Chen and W.W.
Chu
431
Towards a Dedutive Object-Oriented Database Language
S. Abiteboul
453
Semantics and Evaluation of Rules over Complex Objects
A. Heuer and P. Sander
473
Inference Rules in Object Oriented Programming Systems
L. Wong
493
Features of the TEDM Object Model
D. Maier, J. Zhu, and H. Ohkawa
511
Software Process Modeling as a Strategy for KBMS Implementation
M.
Jarke,
M.
Jeusfeld,
and
T.
Rose
531
QUERY TRANSFORMATION
Query Optimization in Database Programming Languages
P. Valduriez and S. Danforth
553
Integrating Complex Objects and Recursion
H.
Schöning 573
OOLP: A Translation Approach to Object-Oriented Logic Programming
M. Dalai and D. Gangopadhyay
593
Author Index
6°7 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV008028769 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3 |
| callnumber-search | QA76.9.D3 |
| callnumber-sort | QA 276.9 D3 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SD 1989 ST 270 |
| classification_tum | DAT 315f DAT 650f |
| ctrlnum | (OCoLC)831237699 (DE-599)BVBBV008028769 |
| dewey-full | 005.75 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.75 |
| dewey-search | 005.75 |
| dewey-sort | 15.75 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV008028769</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150128</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930713s1990 xx d||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444884335</subfield><subfield code="9">0-444-88433-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)831237699</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008028769</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.75</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1989</subfield><subfield code="0">(DE-625)142723:</subfield><subfield code="2">rvk</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 315f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 650f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Deductive and object-oriented databases</subfield><subfield code="b">proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989</subfield><subfield code="c">ed. by Won Kim ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 607 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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmation orientée objets (informatique) - Congrès</subfield><subfield code="2">ram</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 orientée objet</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">interrogation base donnée</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deductive databases</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Object-oriented databases</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</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="650" ind1="0" ind2="7"><subfield code="a">Objektorientiertes Datenbanksystem</subfield><subfield code="0">(DE-588)4202958-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">1989</subfield><subfield code="z">Kioto</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientiertes Datenbanksystem</subfield><subfield code="0">(DE-588)4202958-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kim, Won</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">DOOD</subfield><subfield code="n">1</subfield><subfield code="d">1989</subfield><subfield code="c">Kyōto</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5052179-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=005283001&sequence=000002&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-005283001</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1989 Kioto gnd-content |
| genre_facet | Konferenzschrift 1989 Kioto |
| id | DE-604.BV008028769 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:16Z |
| institution | BVB |
| institution_GND | (DE-588)5052179-2 |
| isbn | 0444884335 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005283001 |
| oclc_num | 831237699 |
| open_access_boolean | |
| owner | DE-29T DE-384 DE-91G DE-BY-TUM DE-11 DE-188 |
| owner_facet | DE-29T DE-384 DE-91G DE-BY-TUM DE-11 DE-188 |
| physical | XVIII, 607 S. graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 ed. by Won Kim ... Amsterdam [u.a.] North-Holland 1990 XVIII, 607 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben Programmation orientée objets (informatique) - Congrès ram base donnée déductive inriac base donnée orientée objet inriac interrogation base donnée inriac Deductive databases Congresses Object-oriented databases Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf Datenbanksystem (DE-588)4113276-2 gnd rswk-swf Objektorientiertes Datenbanksystem (DE-588)4202958-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1989 Kioto gnd-content Objektorientiertes Datenbanksystem (DE-588)4202958-2 s DE-604 Datenbanksystem (DE-588)4113276-2 s Deduktives Datenbanksystem (DE-588)4258784-0 s Kim, Won Sonstige oth DOOD 1 1989 Kyōto Sonstige (DE-588)5052179-2 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283001&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 Programmation orientée objets (informatique) - Congrès ram base donnée déductive inriac base donnée orientée objet inriac interrogation base donnée inriac Deductive databases Congresses Object-oriented databases Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd Datenbanksystem (DE-588)4113276-2 gnd Objektorientiertes Datenbanksystem (DE-588)4202958-2 gnd |
| subject_GND | (DE-588)4258784-0 (DE-588)4113276-2 (DE-588)4202958-2 (DE-588)1071861417 |
| title | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 |
| title_auth | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 |
| title_exact_search | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 |
| title_full | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 ed. by Won Kim ... |
| title_fullStr | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 ed. by Won Kim ... |
| title_full_unstemmed | Deductive and object-oriented databases proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 ed. by Won Kim ... |
| title_short | Deductive and object-oriented databases |
| title_sort | deductive and object oriented databases proceedings of the first international conference on deductive and object oriented databases dood 89 kyoto research park kyoto japan 4 6 december 1989 |
| title_sub | proceedings of the first International Conference on Deductive and Object-Oriented Databases (DOOD 89), Kyoto Research Park, Kyoto, Japan, 4 - 6 December, 1989 |
| topic | Programmation orientée objets (informatique) - Congrès ram base donnée déductive inriac base donnée orientée objet inriac interrogation base donnée inriac Deductive databases Congresses Object-oriented databases Congresses Deduktives Datenbanksystem (DE-588)4258784-0 gnd Datenbanksystem (DE-588)4113276-2 gnd Objektorientiertes Datenbanksystem (DE-588)4202958-2 gnd |
| topic_facet | Programmation orientée objets (informatique) - Congrès base donnée déductive base donnée orientée objet interrogation base donnée Deductive databases Congresses Object-oriented databases Congresses Deduktives Datenbanksystem Datenbanksystem Objektorientiertes Datenbanksystem Konferenzschrift 1989 Kioto |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005283001&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kimwon deductiveandobjectorienteddatabasesproceedingsofthefirstinternationalconferenceondeductiveandobjectorienteddatabasesdood89kyotoresearchparkkyotojapan46december1989 AT doodkyoto deductiveandobjectorienteddatabasesproceedingsofthefirstinternationalconferenceondeductiveandobjectorienteddatabasesdood89kyotoresearchparkkyotojapan46december1989 |