Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems: March 24 - 26, 1986, Cambridge, Massachusetts
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
1985
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 293 S. |
| ISBN: | 0897911792 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV008118084 | ||
| 003 | DE-604 | ||
| 005 | 19940411 | ||
| 007 | t | ||
| 008 | 930712s1985 |||| 10||| eng d | ||
| 020 | |a 0897911792 |9 0-89791-179-2 | ||
| 035 | |a (OCoLC)14259025 | ||
| 035 | |a (DE-599)BVBBV008118084 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 | ||
| 050 | 0 | |a QA76.9.D3 | |
| 111 | 2 | |a Symposium on Principles of Database Systems |n 5 |d 1986 |c Cambridge, Mass. |j Verfasser |0 (DE-588)1500050-3 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems |b March 24 - 26, 1986, Cambridge, Massachusetts |
| 264 | 1 | |a New York, NY |c 1985 | |
| 300 | |a 293 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Database management |v Congresses | |
| 650 | 0 | 7 | |a Datenbanksystem |0 (DE-588)4113276-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1986 |z Cambridge Mass. |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbanksystem |0 (DE-588)4113276-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 710 | 2 | |a Association for Computing Machinery |b Special Interest Group on Automata and Computability Theory |e Sonstige |0 (DE-588)7913-3 |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005350384&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005350384 | ||
Datensatz im Suchindex
| _version_ | 1804122493590437888 |
|---|---|
| adam_text | fß Oatenver#»*« 1
Technische UfcmiMdt
Altxtnötfttrtö« H
6100 OftrmitiOt
Proceedings of the
Fifth ACM SIGACT-SIGMOD
Symposium on
Principles of Database Systems
Fachbereichsbibliothek Informatik
„TU Darmstadt
59482840
Twhnische Hochschyle Darmstadt
FACHBEREICH INFORMATIK
B1Bl1OTHEK
lüventcr-Nr i-
Sachgebiete: ______________, —
^ Standort: ______________- — —
March 24-26,1986
Cambridge, Massachusetts
Special interest Group for Automata and Computability Theory
(SIGACT)
Special Interest Group for the Management of Data
(SIGMOD)
I
TABLE OF CONTENTS
Session 1 Chaired by Avi Silberschatz (University of Texas at Austin)
Magic Sets and Other Strange Ways To Implement Logic Programs 1
Francois Bancilhon (Microelectronics and Computer Technology Corporation),
David Maier (Oregon Graduate Center), Yehoshua Sagiv (Stanford University),
and Jeffrey D Ullman (Stanford University)
On the Implementation of a Simple Class of Logic Queries for Databases 16
Domenico Sacca (CRAI, Italy) and Carlo Zaniolo (Microelectronics and
Computer Technology Corporation)
Convergence of Sideways Query Evaluation 24
Foto Afrati (National Technical University of Athens), Christos Papadimitriou
(Stanford University), George Papageorgiou (National Technical University of
Athens), Athena Roussou (National Technical University of Athens), Yehoshua
Sagiv (Stanford University), and Jeffrey D Ullman (Stanford University)
Session 2 Chaired by Hector Garcia-Molina (Princeton University)
A Theoretical Foundation of Multi-Level Concurrency Control 31
Gerhard Weikum (Technical University Darmstadt)
Deleting Completed Transactions 43
Thanasis Hadzilacos (National Technical University o f Athens) and
Mihalis Yannakakis (AT amp;T Bell Labs)
Safety of Non-well-locked Transaction Systems 47
Jianwen Su (Fudan University, Shanghi and University of Lowell)
Session 3 Chaired by Meral Ozsoyoglu (Case Western Reserve University)
A Calculus for Complex Objects 53
Francois Bancilhon and Setrag Khoshafian (Microelectronics and
Computer Technology Corporation)
Some Classes of Multilevel Relational Structures 60
Dirk Van Gucht (Indiana University at Bloomington) and
Patrick C Fischer (Vanderbilt University)
Weak Temporal Relations 70
Shashi K Gadia (Texas Tech University)
Session 4 Chaired by Per-Ake Larson (University of Waterloo)
Rearranging Data to Maximize the Efficiency of Compression 78
Frank Olken and Doron Rotem (Lawrence Berkeley Laboratory)
Order Preserving Linear Hashing Using Dynamic Key Statistics 91
John T Robinson (IBM Thomas J Watson Research Center)
Balanced Multidimensional Extendible Hash Tree 100
Ekow J Otoo (Carleton University)
Session 5 Chaired by Moshe Vardi (IBM Almaden Research Center)
Negation as Failure for First-Order Queries 114
Shamim A Naqvi (AT amp;T Bell Labs)
Positivism vs Minimalism in Deductive Databases 123
Nicole Bidoit (INRIA) and Richard Hull (University of Southern California)
The Extended Closed World Assumption and Its Relationship to
Parallel Circumscription 133
M Gelfond, H Przymusinska, and T Przymusinski (University of Texas at El Paso)
Session 8 Chaired by Alberto Mendelzon (University of Toronto)
On the Properties and Characterization of Connection-trap-free Schemes 140
Edward P F Chan (University of Alberta) and Paolo Atzeni (IASI-CNR)
One Flavor Assumption and Gamma-acyclicity for Universal Relation Views 148
J Biskup (Universität Dortmund), H H Bruggemann (Universität Dortmund),
L Schnetgoke (Universität Dortmund), and M Kramer (FernUniversitat Hagen)
The Equivalence of Solving Queries and Producing Tree Projections 160
Yehoshua Sagiv (Stan ford University) and Oded Shmueli
(Technion-Israel Institute of Technology)
Session 7 Chaired by Ed Sciore [Boston University)
On Finite FD-Acyclicity 173
Yehoshua Sagiv (Stan ford University) and Oded Shmueli
[Technion-Israel Institute of Technology)
Unifying Functional and Multivalued Dependencies for Relational Database Design 183
Meral Ozsoyoglu and Li-Yan Yuan [Case Western Reserve University)
Alpha-acyclic Decompositions of Relational Database Schemes 191
Detlev Ruland and Dietmar Seipel [University at Wuerzburg)
Session 8 Chaired by Ronald Fagin [IBM Research Lab)
Constant Time Maintenance or the Triumph of the fd 202
Marc Graham and Ke Wang [Georgia Institute of Technology)
Test Data for Relational Queries 217
Heikki Mannila [University of Helsinki) and
Kari-Jouko Raiha (University of Tampere)
A Model-Theoretic Approach to Updating Logical Databases 224
Marianne Winslett Wilkins [Stanford University)
Session 9 Chaired by Paris Kanellakis (Brown University)
Deciding Properties of Transactional Schemas 235
Serge Abiteboul (INRIA) and Victor Vianu (University o f Cali fornia, San Diego)
Availability in Partitioned Replicated Databases 240
Amr El Abbadi and Sam Toueg (Cornell University)
Session 10 Chaired by Francois Bancilhon (Microelectronics and Computer Technology Corporation)
On the Integrity of Databases with Incomplete Information 252
Moshe Vardi [IBM Almaden Research Center)
Data Independent Recursion in Deductive Databases 267
Jeff Naughton (Stan ford University)
Parallel Evaluation of Recursive Rule Queries 280
S Cosmadakis [IBM Thomas J Watson Research Center) and
|
| any_adam_object | 1 |
| author_corporate | Symposium on Principles of Database Systems Cambridge, Mass |
| author_corporate_role | aut |
| author_facet | Symposium on Principles of Database Systems Cambridge, Mass |
| author_sort | Symposium on Principles of Database Systems Cambridge, Mass |
| building | Verbundindex |
| bvnumber | BV008118084 |
| 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 |
| ctrlnum | (OCoLC)14259025 (DE-599)BVBBV008118084 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01527nam a2200349 c 4500</leader><controlfield tag="001">BV008118084</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940411 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930712s1985 |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0897911792</subfield><subfield code="9">0-89791-179-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)14259025</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008118084</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-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Symposium on Principles of Database Systems</subfield><subfield code="n">5</subfield><subfield code="d">1986</subfield><subfield code="c">Cambridge, Mass.</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1500050-3</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems</subfield><subfield code="b">March 24 - 26, 1986, Cambridge, Massachusetts</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">293 S.</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="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield><subfield code="v">Congresses</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">1986</subfield><subfield code="z">Cambridge Mass.</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Association for Computing Machinery</subfield><subfield code="b">Special Interest Group on Automata and Computability Theory</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)7913-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=005350384&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005350384</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1986 Cambridge Mass. gnd-content |
| genre_facet | Konferenzschrift 1986 Cambridge Mass. |
| id | DE-604.BV008118084 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:14:45Z |
| institution | BVB |
| institution_GND | (DE-588)1500050-3 (DE-588)7913-3 |
| isbn | 0897911792 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005350384 |
| oclc_num | 14259025 |
| open_access_boolean | |
| owner | DE-20 |
| owner_facet | DE-20 |
| physical | 293 S. |
| publishDate | 1985 |
| publishDateSearch | 1985 |
| publishDateSort | 1985 |
| record_format | marc |
| spelling | Symposium on Principles of Database Systems 5 1986 Cambridge, Mass. Verfasser (DE-588)1500050-3 aut Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts New York, NY 1985 293 S. txt rdacontent n rdamedia nc rdacarrier Database management Congresses Datenbanksystem (DE-588)4113276-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1986 Cambridge Mass. gnd-content Datenbanksystem (DE-588)4113276-2 s DE-604 Association for Computing Machinery Special Interest Group on Automata and Computability Theory Sonstige (DE-588)7913-3 oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005350384&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts Database management Congresses Datenbanksystem (DE-588)4113276-2 gnd |
| subject_GND | (DE-588)4113276-2 (DE-588)1071861417 |
| title | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_auth | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_exact_search | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_full | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_fullStr | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_full_unstemmed | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems March 24 - 26, 1986, Cambridge, Massachusetts |
| title_short | Proceedings of the fifth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems |
| title_sort | proceedings of the fifth acm sigact sigmod symposium on principles of database systems march 24 26 1986 cambridge massachusetts |
| title_sub | March 24 - 26, 1986, Cambridge, Massachusetts |
| topic | Database management Congresses Datenbanksystem (DE-588)4113276-2 gnd |
| topic_facet | Database management Congresses Datenbanksystem Konferenzschrift 1986 Cambridge Mass. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005350384&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT symposiumonprinciplesofdatabasesystemscambridgemass proceedingsofthefifthacmsigactsigmodsymposiumonprinciplesofdatabasesystemsmarch24261986cambridgemassachusetts AT associationforcomputingmachineryspecialinterestgrouponautomataandcomputabilitytheory proceedingsofthefifthacmsigactsigmodsymposiumonprinciplesofdatabasesystemsmarch24261986cambridgemassachusetts |