%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "2.05",
%%% date = "23 August 2006",
%%% time = "12:22:52 MDT",
%%% filename = "pods.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "47209 44956 210186 2271572",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "bibliography; database systems; Management of
%%% Data; Principles of Database Systems (PODS);
%%% SIGACT; SIGMOD",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a BibTeX bibliography for the ACM
%%% SIGACT-SIGMOD Symposia on Principles of
%%% Database Systems (PODS 'xx) (1982--date), and
%%% the ACM SIGMOD Conferences on Management of
%%% Data (SIGMOD 'xx) (1975--date). These
%%% conferences are generally held together, and in
%%% several cases, the SIGMOD 'xx proceedings
%%% have been published as an issue of the
%%% journal SIGMOD Record.
%%%
%%% Version 1.00 of this bibliography covered only
%%% the PODS 'xx symposia; at version 2.00,
%%% entries for the SIGMOD 'xx conferences were
%%% added.
%%%
%%% The companion bibliography tods.bib covers
%%% the ACM Transactions on Database Systems, and
%%% the companion bibliography vldb.bib covers
%%% the International Conferences on Very Large
%%% Data Bases.
%%%
%%% The publisher maintains a World Wide Web site
%%% for these conference proceedings at
%%%
%%% http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/
%%%
%%% with entries for 1985--date. PDF files with
%%% full text of articles are available to
%%% qualified subscribers. All of the papers
%%% listed at that Web site are included in this
%%% bibliography.
%%%
%%% Although all proceedings volumes onward from
%%% the first in 1982 are included here, the
%%% proceedings contents are not yet available
%%% for all years: most of the entries for
%%% 1975--1984 are still missing.
%%%
%%% At version 2.05, the year coverage looked
%%% like this:
%%%
%%% 1975 ( 1) 1986 ( 36) 1997 ( 98)
%%% 1976 ( 2) 1987 ( 92) 1998 ( 124)
%%% 1977 ( 1) 1988 ( 90) 1999 ( 124)
%%% 1978 ( 1) 1989 ( 89) 2000 ( 85)
%%% 1979 ( 1) 1990 ( 90) 2001 ( 115)
%%% 1980 ( 1) 1991 ( 83) 2002 ( 111)
%%% 1981 ( 0) 1992 ( 136) 2003 ( 117)
%%% 1982 ( 4) 1993 ( 123) 2004 ( 119)
%%% 1983 ( 3) 1994 ( 117) 2005 ( 49)
%%% 1984 ( 6) 1995 ( 142) 2006 ( 54)
%%% 1985 ( 57) 1996 ( 95)
%%%
%%% Article: 1
%%% InProceedings: 2111
%%% Proceedings: 54
%%%
%%% Total entries: 2166
%%%
%%% This bibliography was initially built from
%%% searches in the OCLC Content1st database.
%%% Additions were then made from all of the
%%% bibliographies in the TeX User Group
%%% collection, from bibliographies in the
%%% author's personal files, from the IEEE
%%% INSPEC CD-ROM database (1989--1995), from
%%% the Compendex database, from the American
%%% Mathematical Society MathSciNet database,
%%% and from the computer science bibliography
%%% collection on ftp.ira.uka.de in
%%% /pub/bibliography to which many people of
%%% have contributed. The snapshot of this
%%% collection was taken on 5-May-1994, and it
%%% consists of 441 BibTeX files, 2,672,675
%%% lines, 205,289 entries, and 6,375
%%% <at>String{} abbreviations, occupying
%%% 94.8MB of disk space.
%%%
%%% Numerous errors in the sources noted above
%%% have been corrected. Spelling has been
%%% verified with the UNIX spell and GNU ispell
%%% programs using the exception dictionary
%%% stored in the companion file with extension
%%% .sok.
%%%
%%% BibTeX citation tags are uniformly chosen as
%%% name:year:abbrev, where name is the family
%%% name of the first author or editor, year is a
%%% 4-digit number, and abbrev is a 3-letter
%%% condensation of important title words.
%%% Citation labels were automatically generated
%%% by software developed for the BibNet Project.
%%%
%%% In this bibliography, entries are sorted in
%%% publication order, with the help of ``bibsort
%%% -byvolume''. The bibsort utility is available
%%% from ftp.math.utah.edu in /pub/tex/bib.
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{
"\hyphenation{
}"
# "\ifx \undefined \TM \def \TM {${}^{\sc TM}$} \fi"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-SIGACT-SIGMOD-SYMP-PODS = "ACM SIGACT-SIGMOD Symposium on Principles
of Database Systems"}
@String{j-SIGMOD = "SIGMOD Record (ACM Special Interest Group
on Management of Data)"}
%%% ====================================================================
%%% Publishers and their addresses:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AP = "Academic Press"}
@String{pub-AP:adr = "New York, USA"}
@String{pub-WORLD-SCI = "World Scientific Publishing Co."}
@String{pub-WORLD-SCI:adr = "Singapore; Philadelphia, PA, USA; River
Edge, NJ, USA"}
%%% ====================================================================
%%% Bibliography entries:
@Article{Lin:1976:DRA,
author = "C. S. Lin and D. C. P. Smith and J. M. Smith",
title = "The Design of a Rotating Associative Array Memory for
a Relational Database Management Application",
journal = j-SIGACT-SIGMOD-SYMP-PODS,
volume = "1",
number = "1",
pages = "??--??",
month = mar,
year = "1976",
bibsource = "Database/Wiederhold.bib",
note = "Also published in/as: Proceedings of the First
Conference on Very Large Databases, Morgan Kaufman
pubs. (Los Altos CA), Kerr (ed.), 1975, pp. 453--455.",
annote = "Data analysis in the file control unit.",
}
@InProceedings{Kuck:1982:URD,
author = "S. M. Kuck and Y. Sagiv",
title = "A Universal Relation Database System Implemented Via
the Network Model",
crossref = "ACM:1982:PPA",
pages = "??--??",
year = "1982",
bibsource = "Database/Wiederhold.bib",
annote = "A Subset of a CODASYL implementation is used to
provide for universal relations. Lossless joins are
related to automatic, mandatory sets. Both schema
design and access path optimization is presented.",
}
@InProceedings{Chandra:1983:HCF,
author = "A. K. Chandra and D. Harel",
title = "{Horn} clauses and the fixpoint query hierarchy",
crossref = "ACM:1983:PPS",
pages = "??--??",
year = "1983",
bibsource = "Database/Wiederhold.bib",
annote = "on the complexity of answering queries defined by
logical rules",
}
@InProceedings{Cosmadakis:1984:FID,
author = "S. S. Cosmadakis and P. C. Kanellakis",
title = "Functional and Inclusion Dependencies: {A}
graph-theoretic Approach",
crossref = "ACM:1984:PPT",
pages = "??--??",
year = "1984",
bibsource = "Database/Wiederhold.bib",
annote = "Ownership.",
}
@InProceedings{Lehman:1984:KCK,
author = "D. Lehman",
title = "Knowledge, Common Knowledge, and Related Puzzles",
crossref = "ACM:1984:PPT",
pages = "??--??",
year = "1984",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Pitelli:1984:IBA,
author = "F. Pitelli and H. Garc{\'\i}a-Molina and S. Davidson",
title = "Is {Byzantine} Agreement Useful in a Distributed
Database System",
crossref = "ACM:1984:PPT",
pages = "??--??",
year = "1984",
bibsource = "Database/Wiederhold.bib",
note = "Also published in/as: to appear in ACM Transactions on
Database Systems 1985.",
}
@InProceedings{Stemple:1984:SVA,
author = "D. Stemple and T. Sheard",
title = "Specification and Verification of Abstract Database
Types",
crossref = "ACM:1984:PPT",
pages = "??--??",
year = "1984",
bibsource = "Database/Wiederhold.bib",
annote = "All integrity constraints are Schema declarations",
}
@InProceedings{Ozsoyoglu:1985:LPO,
author = "Gultekin Ozsoyoglu and Z. Meral Ozsoyoglu and
Francisco Mata",
title = "A language and a physical organization technique for
summary tables",
crossref = "Navathe:1985:PAS",
pages = "3--16",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p3-ozsoyoglu/p3-ozsoyoglu.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p3-ozsoyoglu/",
acknowledgement = ack-nhfb,
}
@InProceedings{Roussopoulos:1985:DSS,
author = "Nick Roussopoulos and Daniel Leifker",
title = "Direct spatial search on pictorial databases using
packed {R}-trees",
crossref = "Navathe:1985:PAS",
pages = "17--31",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p17-roussopoulos/p17-roussopoulos.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p17-roussopoulos/",
acknowledgement = ack-nhfb,
}
@InProceedings{Christodoulakis:1985:IAD,
author = "S. Christodoulakis",
title = "Issues in the architecture of a document archiver
using optical disk technology",
crossref = "Navathe:1985:PAS",
pages = "34--50",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p34-christodoulakis/p34-christodoulakis.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p34-christodoulakis/",
acknowledgement = ack-nhfb,
}
@InProceedings{Barbic:1985:TMO,
author = "F. Barbic and B. Pernici",
title = "Time modeling in office information systems",
crossref = "Navathe:1985:PAS",
pages = "51--62",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p51-barbic/p51-barbic.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p51-barbic/",
acknowledgement = ack-nhfb,
}
@InProceedings{Faloutsos:1985:SFD,
author = "Chris Faloutsos",
title = "Signature files: design and performance comparison of
some signature extraction methods",
crossref = "Navathe:1985:PAS",
pages = "63--82",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p63-faloutsos/p63-faloutsos.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p63-faloutsos/",
acknowledgement = ack-nhfb,
}
@InProceedings{Eick:1985:ATK,
author = "Christoph F. Eick and Peter C. Lockemann",
title = "Acquisition of terminological knowledge using database
design techniques",
crossref = "Navathe:1985:PAS",
pages = "84--94",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p84-eick/p84-eick.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p84-eick/",
acknowledgement = ack-nhfb,
}
@InProceedings{Shin:1985:PRD,
author = "D. G. Shin and K. B. Irani",
title = "Partitioning a relational database horizontally using
a knowledge-based approach",
crossref = "Navathe:1985:PAS",
pages = "95--105",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p95-shin/p95-shin.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p95-shin/",
acknowledgement = ack-nhfb,
}
@InProceedings{Agrawal:1985:MSC,
author = "Rakesh Agrawal and Michael J. Carey and Miron Livny",
title = "Models for studying concurrency control performance:
alternatives and implications",
crossref = "Navathe:1985:PAS",
pages = "108--121",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p108-agrawal/p108-agrawal.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p108-agrawal/",
acknowledgement = ack-nhfb,
}
@InProceedings{Robinson:1985:FGP,
author = "John T. Robinson",
title = "A fast general-purpose hardware synchronization
mechanism",
crossref = "Navathe:1985:PAS",
pages = "122--130",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p122-robinson/p122-robinson.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p122-robinson/",
acknowledgement = ack-nhfb,
}
@InProceedings{Agrawal:1985:RAM,
author = "Rakesh Agrawal and David J. DeWitt",
title = "Recovery architectures for multiprocessor database
machines",
crossref = "Navathe:1985:PAS",
pages = "131--145",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p131-agrawal/p131-agrawal.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p131-agrawal/",
acknowledgement = ack-nhfb,
}
@InProceedings{Batini:1985:DDM,
author = "Carlo Batini and Stefano Ceri and Al Hershey and
George Gardarin and David Reiner",
title = "Database design: methodologies, tools, and
environments (panel session)",
crossref = "Navathe:1985:PAS",
pages = "148--150",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p148-batini/p148-batini.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p148-batini/",
acknowledgement = ack-nhfb,
}
@InProceedings{Hsu:1985:ICM,
author = "Arding Hsu and Tomasz Imielinski",
title = "Integrity checking for multiple updates",
crossref = "Navathe:1985:PAS",
pages = "152--168",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/citations/proceedings/mod/318898/p152-hsu/",
acknowledgement = ack-nhfb,
}
@InProceedings{Kung:1985:VDT,
author = "C. H. Kung",
title = "On verification of database temporal constraints",
crossref = "Navathe:1985:PAS",
pages = "169--179",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p169-kung/p169-kung.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p169-kung/",
acknowledgement = ack-nhfb,
}
@InProceedings{Kuper:1985:EPL,
author = "Gabriel M. Kuper and Moshe Y. Vardi",
title = "On the expressive power of the logical data model:
preliminary report",
crossref = "Navathe:1985:PAS",
pages = "180--187",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p180-kuper/p180-kuper.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p180-kuper/",
acknowledgement = ack-nhfb,
}
@InProceedings{Larson:1985:EPH,
author = "Per-Ake Larson and M. V. Ramakrishna",
title = "External perfect hashing",
crossref = "Navathe:1985:PAS",
pages = "190--200",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p190-larson/p190-larson.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p190-larson/",
acknowledgement = ack-nhfb,
}
@InProceedings{Kawagoe:1985:MDH,
author = "Kyoji Kawagoe",
title = "Modified dynamic hashing",
crossref = "Navathe:1985:PAS",
pages = "201--213",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p201-kawagoe/p201-kawagoe.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p201-kawagoe/",
acknowledgement = ack-nhfb,
}
@InProceedings{Otoo:1985:MDH,
author = "Ekow J. Otoo",
title = "A multidimensional digital hashing scheme for files
with composite keys",
crossref = "Navathe:1985:PAS",
pages = "214--229",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p214-otoo/p214-otoo.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p214-otoo/",
acknowledgement = ack-nhfb,
}
@InProceedings{Sibley:1985:PDM,
author = "Edgar H. Sibley and Matthias Jarke and Cecil S. McMinn
and John Murray and Randall Rustin and Ken Sloan",
title = "Pragmatics of database management (panel session)",
crossref = "Navathe:1985:PAS",
pages = "232--234",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p232-sibley/p232-sibley.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p232-sibley/",
acknowledgement = ack-nhfb,
}
@InProceedings{Snodgrass:1985:TTD,
author = "Richard Snodgrass and Ilsoo Ahn",
title = "A taxonomy of time databases",
crossref = "Navathe:1985:PAS",
pages = "236--246",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p236-snodgrass/p236-snodgrass.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p236-snodgrass/",
acknowledgement = ack-nhfb,
}
@InProceedings{Clifford:1985:AHR,
author = "James Clifford and Abdullah Uz Tansel",
title = "On an algebra for historical relational databases: two
views",
crossref = "Navathe:1985:PAS",
pages = "247--265",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p247-clifford/p247-clifford.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p247-clifford/",
acknowledgement = ack-nhfb,
}
@InProceedings{Copeland:1985:DSM,
author = "George P. Copeland and Setrag N. Khoshafian",
title = "A decomposition storage model",
crossref = "Navathe:1985:PAS",
pages = "268--279",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p268-copeland/p268-copeland.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p268-copeland/",
acknowledgement = ack-nhfb,
}
@InProceedings{Yu:1985:AIS,
author = "C. T. Yu and C. H. Chen",
title = "Adaptive information system design: one query at a
time",
crossref = "Navathe:1985:PAS",
pages = "280--290",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p280-yu/p280-yu.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p280-yu/",
acknowledgement = ack-nhfb,
}
@InProceedings{Beckley:1985:MRK,
author = "D. A. Beckley and M. W. Evens and V. K. Raman",
title = "Multikey retrieval from {K-d} trees and {QUAD-trees}",
crossref = "Navathe:1985:PAS",
pages = "291--301",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p291-beckley/p291-beckley.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p291-beckley/",
acknowledgement = ack-nhfb,
}
@InProceedings{Christodoulakis:1985:MDM,
author = "Starvos Christodoulakis and D. Badal and A. Cardenas
and P. Mantey and F. Tompa and D. Tsichritzis",
title = "Multimedia database management (panel session)",
crossref = "Navathe:1985:PAS",
pages = "304--305",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p304-christodoulakis/p304-christodoulakis.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p304-christodoulakis/",
acknowledgement = ack-nhfb,
}
@InProceedings{Fushimi:1985:APE,
author = "Shinya Fushimi and Masaru Kitsuregawa and Masaya
Nakayama and Hidehiko Tanaka and Tohru Moto-oka",
title = "Algorithm and performance evaluation of adaptive
multidimensional clustering technique",
crossref = "Navathe:1985:PAS",
pages = "308--318",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p308-fushimi/p308-fushimi.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p308-fushimi/",
acknowledgement = ack-nhfb,
}
@InProceedings{Kamel:1985:MDD,
author = "Nabil Kamel and Roger King",
title = "A model of data distribution based on texture
analysis",
crossref = "Navathe:1985:PAS",
pages = "319--325",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p319-kamel/p319-kamel.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p319-kamel/",
acknowledgement = ack-nhfb,
}
@InProceedings{Goldman:1985:IIS,
author = "Kenneth J. Goldman and Sally A. Goldman and Paris C.
Kanellakis and Stanley B. Zdonik",
title = "{ISIS}: interface for a semantic information system",
crossref = "Navathe:1985:PAS",
pages = "328--342",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p328-goldman/p328-goldman.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p328-goldman/",
acknowledgement = ack-nhfb,
}
@InProceedings{Vossen:1985:HLU,
author = "Gottfried Vossen and Volkert Brosda",
title = "A high-level user interface for update and retrieval
in relational databases--language aspects",
crossref = "Navathe:1985:PAS",
pages = "343--353",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p343-vossen/p343-vossen.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p343-vossen/",
acknowledgement = ack-nhfb,
}
@InProceedings{Demo:1985:ACD,
author = "G. Barbara Demo and Sukhamay Kundu",
title = "Analysis of the context dependency of {CODASYL}
find-statements with application to a database program
conversion",
crossref = "Navathe:1985:PAS",
pages = "354--361",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p354-demo/p354-demo.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p354-demo/",
acknowledgement = ack-nhfb,
}
@InProceedings{Acharya:1985:TRP,
author = "Shridhar Acharya and Gael Buckley",
title = "Transaction restarts in {Prolog} database systems",
crossref = "Navathe:1985:PAS",
pages = "364--373",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p364-acharya/p364-acharya.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p364-acharya/",
acknowledgement = ack-nhfb,
}
@InProceedings{Page:1985:GDD,
author = "Thomas W. Page and Matthew J. Weinstein and Gerald J.
Popek",
title = "Genesis: a distributed database operating system",
crossref = "Navathe:1985:PAS",
pages = "374--387",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p374-page/p374-page.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p374-page/",
acknowledgement = ack-nhfb,
}
@InProceedings{Klahold:1985:TMS,
author = "P. Klahold and G. Schlageter and R. Unland and W.
Wilkes",
title = "A transaction model supporting complex applications in
integrated information systems",
crossref = "Navathe:1985:PAS",
pages = "388--401",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/citations/proceedings/mod/318898/p388-klahold/",
acknowledgement = ack-nhfb,
}
@InProceedings{Sinha:1985:TBC,
author = "Mukul K. Sinha and P. D. Nandikar and S. L.
Mehndiratta",
title = "Timestamp based certification schemes for transactions
in distributed database systems",
crossref = "Navathe:1985:PAS",
pages = "402--411",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p402-sinha/p402-sinha.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p402-sinha/",
acknowledgement = ack-nhfb,
}
@InProceedings{Kerschberg:1985:EDS,
author = "Larry Kerschberg and Michael Brodie and Charles
Kellogg and D. Stott Parker and Gio Wiederhold and
Carlo Zaniolo",
title = "Expert database systems (workshop review)",
crossref = "Navathe:1985:PAS",
pages = "414--417",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p414-kerschberg/p414-kerschberg.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p414-kerschberg/",
acknowledgement = ack-nhfb,
}
@InProceedings{Bhargava:1985:RDD,
author = "Bharat Bhargava",
title = "Reliability in distributed database systems (panel
discussion)",
crossref = "Navathe:1985:PAS",
pages = "420--422",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p420-bhargava/p420-bhargava.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p420-bhargava/",
acknowledgement = ack-nhfb,
}
@InProceedings{Sellis:1985:OED,
author = "Timos K. Sellis and Leonard Shapiro",
title = "Optimization of extended database query languages",
crossref = "Navathe:1985:PAS",
pages = "424--436",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p424-sellis/p424-sellis.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p424-sellis/",
acknowledgement = ack-nhfb,
}
@InProceedings{Gray:1985:EPA,
author = "P. M. D. Gray",
title = "Efficient {Prolog} access to {CODAYSL} and {FDM}
databases",
crossref = "Navathe:1985:PAS",
pages = "437--443",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p437-gray/p437-gray.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p437-gray/",
acknowledgement = ack-nhfb,
}
@InProceedings{Blain:1985:MPC,
author = "Tomas Blain and Michael Dohler and Ralph Michaelis and
Emran Qureshi",
title = "Managing the printed circuit board design process",
crossref = "Navathe:1985:PAS",
pages = "447--456",
year = "1985",
bibdate = "Wed Oct 25 08:47:38 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/318898/p447-blain/p447-blain.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/318898/p447-blain/",
acknowledgement = ack-nhfb,
}
@InProceedings{Abiteboul:1985:TIC,
author = "S. Abiteboul and V. Vianu",
title = "Transactions and Integrity Constraints",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Atzeni:1985:EQA,
author = "P. Atzeni and E. P. F. Chan",
title = "Efficient Query Answering in the Representative
Instance Approach",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Ausiello:1985:CPG,
author = "G. Ausiello and A. D'Atri",
title = "Chordality Properties on Graphs and Minimal Conceptual
Connections in Semantic Data Models",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Bancilhon:1985:AVP,
author = "F. Bancilhon and M. Spyratos",
title = "Algebraic Versus Probabilistic Independence in Data
Bases",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Casanova:1985:CLR,
author = "M. A. Casanova and A. V. Moura and L. Tucherman",
title = "On the Correctness of a Local Recovery Subsystem",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Cosmadakis:1985:PSR,
author = "S. S. Cosmadakis and P. C. Kanellakis and N.
Spyratos",
title = "Partition Semantics for Relations",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{GarciaMolina:1985:EEC,
author = "H. Garc{\'\i}a-Molina and J. Kent",
title = "An Experimental Evaluation of Crash Recovery
Mechanism",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Gyssens:1985:EJD,
author = "Marc Gyssens",
title = "Embedded Join Dependencies as a Tool for Decomposing
Full Join Dependencies",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Keller:1985:ATV,
author = "A. M. Keller",
title = "Algorithms for Translating View Updates to Database
Updates for Views Involving Selections, Projections,
and Joins",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Mannila:1985:SAR,
author = "H. Mannila and K-J. Raiha",
title = "Small {Armstrong} Relations for Database Design",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Page:1985:DDM,
author = "T. W. {Page, Jr.} and G. J. Popek",
title = "Distributed Data Management in Local Area Networks",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Sagiv:1985:COB,
author = "Yehoshua Sagiv",
title = "Concurrent Operations on {B}*-Trees with Overtaking",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Sagiv:1985:CRP,
author = "Yehoshua Sagiv",
title = "On Computing Restricted Projections of Representative
Instances",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Skeen:1985:EFA,
author = "D. Skeen and F. Cristian and A. ElAbbadi",
title = "An Efficient Fault-Tolerant Algorithm for Replicated
Data Management",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Stein:1985:RUS,
author = "J. Stein and D. Maier",
title = "Relaxing the Universal Scheme Assumption",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Vardi:1985:QLD,
author = "Moshe Vardi",
title = "Querying Logical Databases",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Yannakakis:1985:CRC,
author = "Mihalis Yannakakis and C. H. Papadimitriou",
title = "The Complexity of Reliable Concurrency Control",
crossref = "ACM:1985:PPF",
pages = "??--??",
month = mar,
year = "1985",
bibsource = "Database/Wiederhold.bib",
}
@InProceedings{Bancilhon:1986:MSO,
author = "Fran{\c{c}}ois Bancilhon and David Maier and Yehoshua
Sagiv and Jeffrey D. Ullman",
title = "Magic sets and other strange ways to implement logic
programs (extended abstract)",
crossref = "ACM:1986:PPF",
pages = "1--15",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p1-bancilhon/p1-bancilhon.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p1-bancilhon/",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages; performance; theory",
subject = "{\bf I.2.2} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Automatic Programming, Program
transformation. {\bf I.2.3} Computing Methodologies,
ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving,
Logic programming. {\bf I.2.4} Computing Methodologies,
ARTIFICIAL INTELLIGENCE, Knowledge Representation
Formalisms and Methods, Representations (procedural and
rule-based). {\bf I.2.4} Computing Methodologies,
ARTIFICIAL INTELLIGENCE, Knowledge Representation
Formalisms and Methods, Predicate logic. {\bf I.2.5}
Computing Methodologies, ARTIFICIAL INTELLIGENCE,
Programming Languages and Software, Prolog. {\bf H.2.3}
Information Systems, DATABASE MANAGEMENT, Languages,
Query languages. {\bf H.2.4} Information Systems,
DATABASE MANAGEMENT, Systems, Query processing. {\bf
H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design.",
}
@InProceedings{Sacca:1986:ISC,
author = "Domenico Sacc{\`a} and Carlo Zaniolo",
title = "On the implementation of a simple class of logic
queries for databases",
crossref = "ACM:1986:PPF",
pages = "16--23",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p16-sacca/p16-sacca.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p16-sacca/",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages; performance; theory",
subject = "{\bf H.2.3} Information Systems, DATABASE MANAGEMENT,
Languages, Query languages. {\bf F.4.1} Theory of
Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES,
Mathematical Logic, Logic and constraint programming.
{\bf I.2.4} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Knowledge Representation Formalisms and
Methods, Predicate logic. {\bf E.1} Data, DATA
STRUCTURES, Graphs and networks. {\bf I.2.3} Computing
Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and
Theorem Proving, Answer/reason extraction. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design.",
}
@InProceedings{Afrati:1986:CSQ,
author = "Foto Afrati and Christos Papadimitriou and George
Papageorgiou and Athena Roussou and Yehoshua Sagiv and
Jeffrey D. Ullman",
title = "Convergence of sideways query evaluation",
crossref = "ACM:1986:PPF",
pages = "24--30",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p24-afrati/p24-afrati.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p24-afrati/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p24-afrati/",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages; theory",
subject = "{\bf H.2.3} Information Systems, DATABASE MANAGEMENT,
Languages, Query languages. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Data
models. {\bf G.2.2} Mathematics of Computing, DISCRETE
MATHEMATICS, Graph Theory, Graph algorithms. {\bf
F.4.3} Theory of Computation, MATHEMATICAL LOGIC AND
FORMAL LANGUAGES, Formal Languages, Classes defined by
grammars or automata.",
}
@InProceedings{Weikum:1986:TFM,
author = "Gerhard Weikum",
title = "A theoretical foundation of multi-level concurrency
control",
crossref = "ACM:1986:PPF",
pages = "31--43",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p31-weikum/p31-weikum.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p31-weikum/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p31-weikum/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; theory",
subject = "{\bf H.2.4} Information Systems, DATABASE MANAGEMENT,
Systems, Transaction processing. {\bf D.4.1} Software,
OPERATING SYSTEMS, Process Management, Concurrency.
{\bf D.4.1} Software, OPERATING SYSTEMS, Process
Management, Scheduling. {\bf D.4.1} Software, OPERATING
SYSTEMS, Process Management, Deadlocks.",
}
@InProceedings{Hadzilacos:1986:DCT,
author = "Thanasis Hadzilacos and Mihalis Yannakakis",
title = "Deleting completed transactions",
crossref = "ACM:1986:PPF",
pages = "43--46",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p43-hadzilacos/p43-hadzilacos.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p43-hadzilacos/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p43-hadzilacos/",
acknowledgement = ack-nhfb,
keywords = "design; theory; verification",
subject = "{\bf D.4.1} Software, OPERATING SYSTEMS, Process
Management, Concurrency. {\bf D.4.1} Software,
OPERATING SYSTEMS, Process Management, Deadlocks. {\bf
D.4.1} Software, OPERATING SYSTEMS, Process Management,
Scheduling. {\bf G.2.2} Mathematics of Computing,
DISCRETE MATHEMATICS, Graph Theory, Graph algorithms.
{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models.",
}
@InProceedings{Su:1986:SNT,
author = "Jianwen Su",
title = "Safety of non-well-locked transaction systems",
crossref = "ACM:1986:PPF",
pages = "47--52",
year = "1986",
bibdate = "Thu Mar 12 18:39:01 MST 1998",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p47-su/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; performance; security; theory",
subject = "{\bf H.2.4} Information Systems, DATABASE MANAGEMENT,
Systems, Transaction processing. {\bf D.4.1} Software,
OPERATING SYSTEMS, Process Management, Concurrency.
{\bf D.4.1} Software, OPERATING SYSTEMS, Process
Management, Deadlocks. {\bf D.4.1} Software, OPERATING
SYSTEMS, Process Management, Scheduling. {\bf H.2.2}
Information Systems, DATABASE MANAGEMENT, Physical
Design, Access methods. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Data
models.",
}
@InProceedings{Su:1986:SNW,
author = "Jianwen Su",
title = "Safety of non-well-locked transaction systems",
crossref = "ACM:1986:PPF",
pages = "47--52",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p47-su/p47-su.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p47-su/",
acknowledgement = ack-nhfb,
}
@InProceedings{Bancilhon:1986:CCO,
author = "Fran{\c{c}}ois Bancilhon and Setrag Khoshafian",
title = "A calculus for complex objects",
crossref = "ACM:1986:PPF",
pages = "53--60",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p53-bancilhon/p53-bancilhon.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p53-bancilhon/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p53-bancilhon/",
acknowledgement = ack-nhfb,
keywords = "design; theory",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Normal
forms. {\bf G.2.2} Mathematics of Computing, DISCRETE
MATHEMATICS, Graph Theory, Graph algorithms. {\bf
F.2.2} Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Nonnumerical Algorithms and
Problems, Computations on discrete structures. {\bf
F.2.1} Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Numerical Algorithms and
Problems, Number-theoretic computations.",
}
@InProceedings{Gucht:1986:SCM,
author = "Dirk Van Gucht and Patrick C. Fischer",
title = "Some classes of multilevel relational structures",
crossref = "ACM:1986:PPF",
pages = "60--69",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p60-van_gucht/p60-van_gucht.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p60-van_gucht/",
acknowledgement = ack-nhfb,
}
@InProceedings{VanGucht:1986:SCM,
author = "Dirk {Van Gucht} and Patrick C. Fischer",
title = "Some classes of multilevel relational structures",
crossref = "ACM:1986:PPF",
pages = "60--69",
year = "1986",
bibdate = "Thu Mar 12 18:39:01 MST 1998",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p60-van_gucht/",
acknowledgement = ack-nhfb,
keywords = "algorithms; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Normal
forms. {\bf H.2.1} Information Systems, DATABASE
MANAGEMENT, Logical Design, Schema and subschema. {\bf
F.2.1} Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Numerical Algorithms and
Problems, Number-theoretic computations.",
}
@InProceedings{Gadia:1986:WTR,
author = "Shashi K. Gadia",
title = "Weak temporal relations",
crossref = "ACM:1986:PPF",
pages = "70--77",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p70-gadia/p70-gadia.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p70-gadia/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p70-gadia/",
acknowledgement = ack-nhfb,
keywords = "design; languages; theory",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models. {\bf F.2.1} Theory of
Computation, ANALYSIS OF ALGORITHMS AND PROBLEM
COMPLEXITY, Numerical Algorithms and Problems,
Number-theoretic computations. {\bf D.3.1} Software,
PROGRAMMING LANGUAGES, Formal Definitions and Theory,
Semantics. {\bf H.2.4} Information Systems, DATABASE
MANAGEMENT, Systems, Query processing.",
}
@InProceedings{Olken:1986:RDM,
author = "Frank Olken and Doron Rotem",
title = "Rearranging data to maximize the efficiency of
compression",
crossref = "ACM:1986:PPF",
pages = "78--90",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p78-olken/p78-olken.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p78-olken/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p78-olken/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; economics; theory; verification",
subject = "{\bf E.4} Data, CODING AND INFORMATION THEORY, Data
compaction and compression. {\bf H.3.2} Information
Systems, INFORMATION STORAGE AND RETRIEVAL, Information
Storage, File organization. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Data
models.",
}
@InProceedings{Robinson:1986:OPL,
author = "John T. Robinson",
title = "Order preserving linear hashing using dynamic key
statistics",
crossref = "ACM:1986:PPF",
pages = "91--99",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p91-robinson/p91-robinson.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p91-robinson/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p91-robinson/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; experimentation; measurement;
performance; theory",
subject = "{\bf H.2.2} Information Systems, DATABASE MANAGEMENT,
Physical Design, Access methods. {\bf E.2} Data, DATA
STORAGE REPRESENTATIONS, Hash-table representations.
{\bf E.5} Data, FILES, Organization/structure. {\bf
D.4.3} Software, OPERATING SYSTEMS, File Systems
Management, Access methods.",
}
@InProceedings{Otoo:1986:BME,
author = "Ekow J. Otoo",
title = "Balanced multidimensional extendible hash tree",
crossref = "ACM:1986:PPF",
pages = "100--113",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p100-otoo/p100-otoo.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p100-otoo/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p100-otoo/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; experimentation; theory",
subject = "{\bf E.2} Data, DATA STORAGE REPRESENTATIONS,
Hash-table representations. {\bf E.1} Data, DATA
STRUCTURES, Trees. {\bf E.5} Data, FILES,
Organization/structure. {\bf E.1} Data, DATA
STRUCTURES, Arrays. {\bf H.2.1} Information Systems,
DATABASE MANAGEMENT, Logical Design, Schema and
subschema. {\bf H.2.7} Information Systems, DATABASE
MANAGEMENT, Database Administration, Data
dictionary/directory. {\bf H.2.4} Information Systems,
DATABASE MANAGEMENT, Systems, Query processing. {\bf
F.2.2} Theory of Computation, ANALYSIS OF ALGORITHMS
AND PROBLEM COMPLEXITY, Nonnumerical Algorithms and
Problems, Sorting and searching. {\bf D.4.3} Software,
OPERATING SYSTEMS, File Systems Management, Access
methods.",
}
@InProceedings{Naqvi:1986:NFF,
author = "Shamim A. Naqvi",
title = "Negation as failure for first-order queries",
crossref = "ACM:1986:PPF",
pages = "114--122",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p114-naqvi/p114-naqvi.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p114-naqvi/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p114-naqvi/",
acknowledgement = ack-nhfb,
keywords = "economics; languages; performance; reliability;
theory",
subject = "{\bf I.2.5} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Programming Languages and Software,
Prolog. {\bf H.2.3} Information Systems, DATABASE
MANAGEMENT, Languages, Query languages. {\bf F.4.1}
Theory of Computation, MATHEMATICAL LOGIC AND FORMAL
LANGUAGES, Mathematical Logic, Logic and constraint
programming. {\bf I.2.4} Computing Methodologies,
ARTIFICIAL INTELLIGENCE, Knowledge Representation
Formalisms and Methods, Predicate logic. {\bf F.4.3}
Theory of Computation, MATHEMATICAL LOGIC AND FORMAL
LANGUAGES, Formal Languages, Classes defined by
grammars or automata.",
}
@InProceedings{Bidoit:1986:PVM,
author = "Nicole Bidoit and Richard Hull",
title = "Positivism vs. minimalism in deductive databases",
crossref = "ACM:1986:PPF",
pages = "123--132",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p123-bidoit/p123-bidoit.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p123-bidoit/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p123-bidoit/",
acknowledgement = ack-nhfb,
keywords = "languages; performance; reliability; theory",
subject = "{\bf I.2.3} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Deduction and Theorem Proving, Deduction.
{\bf H.1.m} Information Systems, MODELS AND PRINCIPLES,
Miscellaneous. {\bf I.2.3} Computing Methodologies,
ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving,
Nonmonotonic reasoning and belief revision. {\bf I.2.4}
Computing Methodologies, ARTIFICIAL INTELLIGENCE,
Knowledge Representation Formalisms and Methods,
Predicate logic. {\bf D.3.1} Software, PROGRAMMING
LANGUAGES, Formal Definitions and Theory, Semantics.
{\bf F.4.1} Theory of Computation, MATHEMATICAL LOGIC
AND FORMAL LANGUAGES, Mathematical Logic, Logic and
constraint programming.",
}
@InProceedings{Gelfond:1986:ECW,
author = "M. Gelfond and H. Przymusinska and T. Przymusinski",
title = "The extended closed world assumption and its
relationship to parallel circumscription",
crossref = "ACM:1986:PPF",
pages = "133--139",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p133-gelfond/p133-gelfond.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p133-gelfond/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p133-gelfond/",
acknowledgement = ack-nhfb,
keywords = "languages; performance; reliability; theory",
subject = "{\bf I.2.4} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Knowledge Representation Formalisms and
Methods, Predicate logic. {\bf I.2.3} Computing
Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and
Theorem Proving, Nonmonotonic reasoning and belief
revision. {\bf H.1.m} Information Systems, MODELS AND
PRINCIPLES, Miscellaneous. {\bf F.4.1} Theory of
Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES,
Mathematical Logic, Computational logic.",
}
@InProceedings{Chan:1986:PCC,
author = "E. P. F. Chan and Paolo Atzeni",
title = "On the properties and characterization of
connection-trap-free schemes",
crossref = "ACM:1986:PPF",
pages = "140--147",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p140-chan/p140-chan.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p140-chan/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p140-chan/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; languages; performance; theory;
verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.4}
Information Systems, DATABASE MANAGEMENT, Systems,
Query processing. {\bf H.3.3} Information Systems,
INFORMATION STORAGE AND RETRIEVAL, Information Search
and Retrieval, Retrieval models. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Data models.",
}
@InProceedings{Biskup:1986:OFA,
author = "H. Biskup and L. Schnetgoke",
title = "One flavor assumption and gamma-acyclicity for
universal relation views",
crossref = "ACM:1986:PPF",
pages = "148--159",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p148-biskup/p148-biskup.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p148-biskup/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p148-biskup/",
acknowledgement = ack-nhfb,
keywords = "design; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.4}
Information Systems, DATABASE MANAGEMENT, Systems,
Query processing. {\bf H.2.1} Information Systems,
DATABASE MANAGEMENT, Logical Design, Data models.",
}
@InProceedings{Sagiv:1986:ESQ,
author = "Yehoshua Sagiv and Oded Shmueli",
title = "The equivalence of solving queries and producing tree
projections (extended abstract)",
crossref = "ACM:1986:PPF",
pages = "160--172",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p160-sagiv/p160-sagiv.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p160-sagiv/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p160-sagiv/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.4}
Information Systems, DATABASE MANAGEMENT, Systems,
Query processing.",
}
@InProceedings{Sagiv:1986:FFA,
author = "Yehoshua Sagiv",
title = "On finite {FD}-acyclicity",
crossref = "ACM:1986:PPF",
pages = "173--182",
year = "1986",
bibdate = "Sun Nov 07 06:29:03 2004",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p173-sagiv/p173-sagiv.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p173-sagiv/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p173-sagiv/",
acknowledgement = ack-nhfb,
keywords = "algorithms; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema.",
}
@InProceedings{Ozsoyoglu:1986:UFM,
author = "Meral Ozsoyoglu and Li Yan Yuan",
title = "Unifying functional and multivalued dependencies for
relational database design",
crossref = "ACM:1986:PPF",
pages = "183--190",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p183-ozsoyoglu/p183-ozsoyoglu.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p183-ozsoyoglu/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p183-ozsoyoglu/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema.",
}
@InProceedings{Ruland:1986:AAD,
author = "Detlev Ruland and Dietmar Seipel",
title = "Alpha-acyclic decompositions of relational database
schemes",
crossref = "ACM:1986:PPF",
pages = "191--201",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p191-ruland/p191-ruland.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p191-ruland/",
acknowledgement = ack-nhfb,
}
@InProceedings{Ruland:1986:ADR,
author = "Detlev Ruland and Dietmar Seipel",
title = "Alpha-acyclic decompositions of relational database
schemes",
crossref = "ACM:1986:PPF",
pages = "191--201",
year = "1986",
bibdate = "Thu Mar 12 18:39:01 MST 1998",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p191-ruland/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; theory",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Normal forms. {\bf G.2.2} Mathematics of
Computing, DISCRETE MATHEMATICS, Graph Theory, Graph
algorithms.",
}
@InProceedings{Graham:1986:CTM,
author = "Marc H. Graham and Ke Wang",
title = "Constant time maintenance or the triumph of the
{FD.}",
crossref = "ACM:1986:PPF",
pages = "202--216",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p202-graham/p202-graham.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p202-graham/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p202-graham/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; theory; verification",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Normal forms.",
}
@InProceedings{Mannila:1986:TDR,
author = "Heikki Mannila and Kari Jouko Raiha",
title = "Test data for relational queries",
crossref = "ACM:1986:PPF",
pages = "217--223",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p217-mannila/p217-mannila.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p217-mannila/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p217-mannila/",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages; theory; verification",
subject = "{\bf H.2.3} Information Systems, DATABASE MANAGEMENT,
Languages, Query languages. {\bf H.3.3} Information
Systems, INFORMATION STORAGE AND RETRIEVAL, Information
Search and Retrieval, Query formulation. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Schema and subschema. {\bf D.2.5} Software,
SOFTWARE ENGINEERING, Testing and Debugging, Testing
tools (e.g., data generators, coverage testing).",
}
@InProceedings{Wilkins:1986:MAU,
author = "Marianne Winslett Wilkins",
title = "A model-theoretic approach to updating logical
databases",
crossref = "ACM:1986:PPF",
pages = "224--234",
year = "1986",
bibdate = "Thu Mar 12 18:39:01 MST 1998",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p224-wilkins/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; economics; languages; theory",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models. {\bf H.2.3} Information
Systems, DATABASE MANAGEMENT, Languages, Data
manipulation languages (DML). {\bf I.2.3} Computing
Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and
Theorem Proving, Nonmonotonic reasoning and belief
revision. {\bf H.1.m} Information Systems, MODELS AND
PRINCIPLES, Miscellaneous. {\bf E.1} Data, DATA
STRUCTURES. {\bf D.3.1} Software, PROGRAMMING
LANGUAGES, Formal Definitions and Theory, Semantics.
{\bf I.2.4} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Knowledge Representation Formalisms and
Methods, Predicate logic.",
}
@InProceedings{Wilkins:1986:MTA,
author = "Marianne Winslett Wilkins",
title = "A model-theoretic approach to updating logical
databases",
crossref = "ACM:1986:PPF",
pages = "224--234",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p224-wilkins/p224-wilkins.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p224-wilkins/",
acknowledgement = ack-nhfb,
}
@InProceedings{Abiteboul:1986:DPT,
author = "Serge Abiteboul and Victor Vianu",
title = "Deciding properties of transactional schemas",
crossref = "ACM:1986:PPF",
pages = "235--239",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p235-abiteboul/p235-abiteboul.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p235-abiteboul/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p235-abiteboul/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; languages; theory",
subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Schema and subschema. {\bf H.2.4}
Information Systems, DATABASE MANAGEMENT, Systems,
Transaction processing. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design, Data
models. {\bf H.1.m} Information Systems, MODELS AND
PRINCIPLES, Miscellaneous. {\bf F.3.1} Theory of
Computation, LOGICS AND MEANINGS OF PROGRAMS,
Specifying and Verifying and Reasoning about Programs,
Specification techniques.",
}
@InProceedings{Abbadi:1986:APR,
author = "Amr El Abbadi and Sam Toueg",
title = "Availability in partitioned replicated databases",
crossref = "ACM:1986:PPF",
pages = "240--251",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p240-el_abbadi/p240-el_abbadi.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p240-el_abbadi/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p240-el_abbadi/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; reliability; theory;
verification",
subject = "{\bf C.2.4} Computer Systems Organization,
COMPUTER-COMMUNICATION NETWORKS, Distributed Systems,
Distributed databases. {\bf H.2.1} Information Systems,
DATABASE MANAGEMENT, Logical Design, Data models. {\bf
H.2.4} Information Systems, DATABASE MANAGEMENT,
Systems, Transaction processing. {\bf C.2.2} Computer
Systems Organization, COMPUTER-COMMUNICATION NETWORKS,
Network Protocols, Protocol architecture. {\bf D.4.1}
Software, OPERATING SYSTEMS, Process Management,
Concurrency. {\bf D.4.6} Software, OPERATING SYSTEMS,
Security and Protection, Access controls. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Data models. {\bf C.4} Computer Systems
Organization, PERFORMANCE OF SYSTEMS, Reliability,
availability, and serviceability.",
}
@InProceedings{Vardi:1986:IDI,
author = "Moshe Vardi",
title = "On the integrity of databases with incomplete
information",
crossref = "ACM:1986:PPF",
pages = "252--266",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p252-vardi/p252-vardi.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p252-vardi/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p252-vardi/",
acknowledgement = ack-nhfb,
keywords = "algorithms; design; languages; theory; verification",
subject = "{\bf H.2.0} Information Systems, DATABASE MANAGEMENT,
General, Security, integrity, and protection**. {\bf
H.2.1} Information Systems, DATABASE MANAGEMENT,
Logical Design, Data models. {\bf H.1.m} Information
Systems, MODELS AND PRINCIPLES, Miscellaneous. {\bf
I.2.3} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Deduction and Theorem Proving,
Nonmonotonic reasoning and belief revision. {\bf H.2.1}
Information Systems, DATABASE MANAGEMENT, Logical
Design, Schema and subschema. {\bf F.1.3} Theory of
Computation, COMPUTATION BY ABSTRACT DEVICES,
Complexity Measures and Classes, Relations among
complexity classes.",
}
@InProceedings{Naughton:1986:DIR,
author = "Jeff Naughton",
title = "Data independent recursion in deductive databases",
crossref = "ACM:1986:PPF",
pages = "267--279",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p267-naughton/p267-naughton.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p267-naughton/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p267-naughton/",
acknowledgement = ack-nhfb,
keywords = "algorithms; languages; theory",
subject = "{\bf I.2.4} Computing Methodologies, ARTIFICIAL
INTELLIGENCE, Knowledge Representation Formalisms and
Methods, Predicate logic. {\bf I.2.3} Computing
Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and
Theorem Proving, Deduction. {\bf H.2.3} Information
Systems, DATABASE MANAGEMENT, Languages, Query
languages. {\bf F.4.1} Theory of Computation,
MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical
Logic, Recursive function theory. {\bf G.2.2}
Mathematics of Computing, DISCRETE MATHEMATICS, Graph
Theory, Graph algorithms.",
}
@InProceedings{Cosmadakis:1986:PER,
author = "S. Cosmadakis and P. Kanellakis",
title = "Parallel evaluation of recursive rule queries",
crossref = "ACM:1986:PPF",
pages = "280--293",
year = "1986",
bibdate = "Wed Oct 25 08:47:35 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/6012/p280-cosmadakis/p280-cosmadakis.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/6012/p280-cosmadakis/;
http://www.acm.org:80/pubs/citations/proceedings/pods/6012/p280-cosmadakis/",
acknowledgement = ack-nhfb,
keywords = "languages; theory; verification",
subject = "{\bf H.2.3} Information Systems, DATABASE MANAGEMENT,
Languages, Query languages. {\bf H.2.1} Information
Systems, DATABASE MANAGEMENT, Logical Design. {\bf
D.2.8} Software, SOFTWARE ENGINEERING, Metrics,
Complexity measures. {\bf H.1.m} Information Systems,
MODELS AND PRINCIPLES, Miscellaneous. {\bf F.4.1}
Theory of Computation, MATHEMATICAL LOGIC AND FORMAL
LANGUAGES, Mathematical Logic, Recursive function
theory. {\bf F.1.3} Theory of Computation, COMPUTATION
BY ABSTRACT DEVICES, Complexity Measures and Classes,
Relations among complexity classes. {\bf G.1.0}
Mathematics of Computing, NUMERICAL ANALYSIS, General,
Parallel algorithms.",
}
@InProceedings{Abiteboul:1986:PTS,
author = "S. Abiteboul and V. Vianu",
title = "Properties of Transactional Schemas",
crossref = "ACM:1986:PPF",
pages = "??--??",
month = mar,
year = "1986",
bibsource = "Database/Wiederhold.bib",
annote = "a study of optimization for insert/delete
operations.",
}
@InProceedings{Neff:1987:DBC,
author = "R. K. Neff",
title = "Data bases, compound objects, and networked
workstations: {Beyond} distributed computing
{(Abstract)}",
crossref = "Dayal:1987:PAC",
pages = "1--1",
year = "1987",
bibdate = "Wed Oct 25 12:40:13 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/38713/p1-neff/p1-neff.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/38713/p1-neff/",
abstract = "Requirements for future data base systems are
developed from the perspective of the user of a
networked workstation who naturally deals with compound
objects. Objects considered include full text,
diagrams, maps, sound recordings, images from film and
video and of art objects, spreadsheets, etc. Searching
requirements and strategies over multi-objects are also
considered. The context of such data base systems is
the library, in its electronic or digital version.
Comments are presented with respect to the digital
learning environment of the future. Current related
projects at Berkeley are described.",
acknowledgement = ack-nhfb,
generalterms = "Design; Human Factors; Performance",
subject = "Information Systems --- Database Management ---
Systems (H.2.4): {\bf Distributed databases};
Information Systems --- Information Storage and
Retrieval --- General (H.3.0); Information Systems ---
Information Storage and Retrieval --- Systems and
Software (H.3.4): {\bf Information networks}; Hardware
--- Input/Output and Data Communications --- General
(B.4.0)",
}
@InProceedings{Ullman:1987:DTF,
author = "J. D. Ullman",
title = "Database theory --- past and future",
crossref = "ACM:1987:PPS",
pages = "1--10",
year = "1987",
bibdate = "Thu Mar 12 18:40:49 MST 1998",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p1-ullman/",
acknowledgement = ack-nhfb,
keywords = "management; theory",
subject = "{\bf H.2.0} Information Systems, DATABASE MANAGEMENT,
General.",
}
@InProceedings{Ullman:1987:DTP,
author = "J. D. Ullman",
title = "Database theory--past and future",
crossref = "ACM:1987:PPS",
pages = "1--10",
year = "1987",
bibdate = "Wed Oct 25 12:40:13 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/pods/28659/p1-ullman/p1-ullman.pdf;
http://www.acm.org/pubs/citations/proceedings/pods/28659/p1-ullman/",
abstract = "We briefly sketch the development of the various
branches of database theory. One important branch is
the theory of relational databases, including such
areas as dependency theory, universal-relation theory,
and hypergraph theory. A second important branch is the
theory of concurrency control and distributed
databases. Two other branches have not in the past been
given the attention they deserve. One of these is
``logic and databases,'' and the second is
``object-oriented database systems,'' which to my
thinking includes systems based on the network or
hierarchical data models. Both these areas are going to
be more influential in the future.",
acknowledgement = ack-nhfb,
generalterms = "Management; Theory",
subject = "Information Systems --- Database Management ---
General (H.2.0)",
}
@InProceedings{Ingenthron:1987:TDR,
author = "Kurt Ingenthron",
title = "Thoughts on database research: {A} user perspective",
crossref = "Dayal:1987:PAC",
pages = "2--2",
year = "1987",
bibdate = "Wed Oct 25 12:40:13 MDT 2000",
bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/",
URL = "http://www.acm.org/pubs/articles/proceedings/mod/38713/p2-ingenthron/p2-ingenthron.pdf;
http://www.acm.org/pubs/citations/proceedings/mod/38713/p2-ingenthron/",
abstract = "The future of computer aided design is in object
oriented programming. If the database community hopes
to participate in this future, it must reexamine some
basic assumptions about the architecture of database
systems. Database system functionality can be added to
object systems but if the performance cost is too high,
it will never survive. Below are some suggestions for
what can be done at a reasonable performance cost.
\par
The object oriented paradigm provides a more practical
approach to the partitioning of the global database
than horizontal and vertical partitioning of relational
tables. Each partition should itself be an independent
database containing related data such as the geometry
of a part or the spacial relationship of parts in an
assembly. A meta-database would be used to control
access to collections of these partitions. A collection
of partitions comprise the database for a user's design
session. \par
The overhead of traditional database transaction
management is not acceptable for high performance CAD
systems. With the partitioning scheme described above,
transaction management can be performed at a
partition/session granularity. Once the user has
composed the collection of partitions, he has a single
user database. There is no need for concurrency control
or transaction logging except at the meta-database
level. This type of transaction management can in fact
be more functional than traditional transaction
management, allowing for versioning, long transactions,
integrity checking and archival. \par
Object oriented databases need a message model, not a
data model. Any object which responds to the same
messages as an object of ``Duck'' class (walk and
quack) is, for all intents and purposes, a duck. An
attempt to design a data model based on instance
variables of an object or based on collections of
objects of like class violates the data abstraction
facilities of object oriented languages and diminishes
their power. An attempt to implement a relational
database system with an object oriented language yields
a relational database system where you get abstract
data types for free. It does not yield an object
oriented database system. \par
For object oriented queries, the message is the media.
A query can be transformed into an execution plan
consisting of messages sent to database objects.
Optimization decisions can be made by sending messages
to referenced objects. Collection classes can be
implemented for new access methods with cost and
selectivity methods to provide optimization
information. In this way, the query language can grow
with the application. \par
Data representation is an important aspect of object
oriented systems. Most object systems are typeless in
that all instance variables of an object are object
references. For performance sake, object systems should
provide enough of a type mechanism to allow simple data
items (integers, floats, characters, \ldots{}) to be
represented in the form intrinsic to the machine.