%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "2.07", %%% date = "21 June 2008", %%% time = "09:44:51 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 = "62387 47035 223852 2395030", %%% 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.07, the year coverage looked %%% like this: %%% %%% 1975 ( 1) 1987 ( 91) 1999 ( 123) %%% 1976 ( 2) 1988 ( 90) 2000 ( 85) %%% 1977 ( 1) 1989 ( 89) 2001 ( 115) %%% 1978 ( 1) 1990 ( 90) 2002 ( 111) %%% 1979 ( 1) 1991 ( 83) 2003 ( 117) %%% 1980 ( 1) 1992 ( 136) 2004 ( 119) %%% 1981 ( 0) 1993 ( 123) 2005 ( 36) %%% 1982 ( 4) 1994 ( 117) 2006 ( 40) %%% 1983 ( 3) 1995 ( 142) 2007 ( 32) %%% 1984 ( 6) 1996 ( 95) 2008 ( 32) %%% 1985 ( 57) 1997 ( 98) %%% 1986 ( 36) 1998 ( 124) %%% %%% Article: 1 %%% InProceedings: 2144 %%% Proceedings: 56 %%% %%% Total entries: 2201 %%% %%% 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 %%% 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. Methods can then be compiled for access to typed data. \par In conclusion, object systems provide enormous potential for the development of CAD systems. Performance influences the approach taken to an application. WYSIWYG publishing applications were not attempted until performance was adequate. Functionality is what sells CAD systems. Database system functionality can be added to object systems at a reasonable cost.", acknowledgement = ack-nhfb, generalterms = "Design; Human Factors", subject = "Information Systems --- Database Management --- Systems (H.2.4): {\bf Transaction processing}; Software --- Operating Systems --- Communications Management (D.4.4): {\bf Message sending}", } @InProceedings{Ioannidis:1987:QOS, author = "Yannis E. Ioannidis and Eugene Wong", title = "Query optimization by simulated annealing", crossref = "Dayal:1987:PAC", pages = "9--22", 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/p9-ioannidis/p9-ioannidis.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p9-ioannidis/", abstract = "Query optimizers of future database management systems are likely to face large access plan spaces in their task. Exhaustively searching such access plan spaces is unacceptable. We propose a query optimization algorithm based on {\em simulated annealing}, which is a probabilistic hill climbing algorithm. We show the specific formulation of the algorithm for the case of optimizing complex non-recursive queries that arise in the study of linear recursion. The query answer is explicitly represented and manipulated within the {\em closed semiring\/} of linear relational operators. The optimization algorithm is applied to a state space that is constructed from the equivalent algebraic forms of the query answer. A prototype of the simulated annealing algorithm has been built and few experiments have been performed for a limited class of relational operators. Our initial experience is that, in general, the algorithm converges to processing strategies that are very close to the optimal. Moreover, the traditional processing strategies (e.g., the {\em semi-naive evaluation\/}) have been found to be, in general, suboptimal.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Design; Performance", subject = "Information Systems --- Information Storage and Retrieval --- Information Search and Retrieval (H.3.3): {\bf Query formulation}; Information Systems --- Database Management --- Logical Design (H.2.1): {\bf Data models}; Information Systems --- Database Management --- Physical Design (H.2.2): {\bf Access methods}", } @InProceedings{Kuper:1987:LPS, author = "G. M. Kuper", title = "Logic programming with sets", crossref = "ACM:1987:PPS", pages = "11--20", year = "1987", bibdate = "Wed Oct 25 08:47:34 MDT 2000", bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/", URL = "http://www.acm.org/pubs/articles/proceedings/pods/28659/p11-kuper/p11-kuper.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p11-kuper/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p11-kuper/", acknowledgement = ack-nhfb, keywords = "languages; management; theory; verification", subject = "{\bf H.2.m} Information Systems, DATABASE MANAGEMENT, Miscellaneous. {\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design. {\bf F.4.1} Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic, Logic and constraint programming. {\bf I.2.3} Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Logic programming. {\bf F.4.3} Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Formal Languages, Algebraic language theory.", } @InProceedings{Beeri:1987:SNL, author = "C. Beeri and S. Naqvi and R. Ramakrishnan and O. Shmueli and S. Tsur", title = "Sets and negation in a logic data base language {(LDL1)}", crossref = "ACM:1987:PPS", pages = "21--37", 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/p21-beeri/p21-beeri.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p21-beeri/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p21-beeri/", abstract = "In this paper we extend LDL, a Logic Based Database Language, to include finite sets and negation. The new language is called LDL1. We define the notion of a model and show that a negation-free program need not have a model, and that it may have more than one minimal model. We impose syntactic restriction in order to define a deterministic language. These restrictions allow only layered (stratified) programs. We prove that for any program satisfying the syntactic restrictions of layering, there is a minimal model, and that this model can be constructed in a bottom-up fashion. Extensions to the basic grouping mechanism are proposed. We show that these extensions can be translated into equivalent LDL1 programs. Finally, we show how the technique of magic sets can be extended to translate LDL1 programs into equivalent programs which can often be executed more efficiently", acknowledgement = ack-nhfb, generalterms = "Languages; Management; Theory; Verification", keywords = "languages; management; theory; verification", subject = "{\bf D.3.2} Software, PROGRAMMING LANGUAGES, Language Classifications. {\bf F.4.1} Theory of Computation, MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Mathematical Logic, Logic and constraint programming. {\bf I.2.3} Computing Methodologies, ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving, Logic programming. {\bf D.3.1} Software, PROGRAMMING LANGUAGES, Formal Definitions and Theory.", } @InProceedings{Ganski:1987:ONS, author = "Richard A. Ganski and Harry K. T. Wong", title = "Optimization of nested {SQL} queries revisited", crossref = "Dayal:1987:PAC", pages = "23--33", 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/p23-ganski/p23-ganski.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p23-ganski/", abstract = "Current methods of evaluating nested queries in the SQL language can be inefficient in a variety of query and data base contexts. Previous research in the area of nested query optimization which sought methods of reducing evaluation costs is summarized, including a classification scheme for nested queries, algorithms designed to transform each type of query to a logically equivalent form which may then be evaluated more efficiently, and a description of a major bug in one of these algorithms. Further examination reveals another bug in the same algorithm. Solutions to these bugs are proposed and incorporated into a new transformation algorithm, and extensions are proposed which will allow the transformation algorithms to handle a larger class of predicates. A recursive algorithm for processing a general nested query is presented and the action of this algorithm is demonstrated. This algorithm can be used to transform any nested query.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Design; Performance", subject = "Information Systems --- Database Management --- Languages (H.2.3): {\bf SQL}; Information Systems --- Information Storage and Retrieval --- Information Search and Retrieval (H.3.3): {\bf Query formulation}", } @InProceedings{Abiteboul:1987:RQS, author = "Serge Abiteboul and Paris Kanellakis and Gosta Grahne", title = "On the representation and querying of sets of possible worlds", crossref = "Dayal:1987:PAC", pages = "34--48", 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/p34-abiteboul/p34-abiteboul.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p34-abiteboul/", abstract = "We represent a {\em set of possible worlds\/} using an incomplete information database. The representation techniques that we study form a hierarchy, which generalizes relations of constants. This hierarchy ranges from the very simple Codd-table, (i.e., a relation of constants and distinct variables called nulls, which stand for values present but unknown), to much more complex mechanisms involving views on conditioned-tables, (i.e., queries on Codd-tables together with conditions). The views we consider are the queries that have polynomial data-complexity on complete information databases. Our conditions are conjunctions of equalities and inequalities. \par (1) We provide matching upper and lower bounds on the data-complexity of testing {\em containment}, {\em membership}, and {\em uniqueness\/} for sets of possible worlds and we fully classify these problems with respect to our representation hierarchy. The most surprising result in this classification is that it is complete in $2^p$, whether a set of possible worlds represented by a Codd-table is a subset of a set of possible worlds represented by a Codd-table with one conjunction of inequalities. \par (2) We investigate the data-complexity of querying incomplete information databases. We examine both asking for {\em certain facts\/} and for {\em possible facts}. Our approach is algebraic but our bounds also apply to logical databases. We show that asking for a certain fact is coNP-complete, even for a fixed first order query on a Codd-table. We thus strengthen a lower bound of [16], who showed that this holds for a Codd-table with a conjunction of inequalities. For each fixed positive existential query we present a polynomial algorithm solving the bounded possible fact problem of this query on conditioned-tables. We show that our approach is, in a sense, the best possible, by deriving two NP-completeness lower bounds for the bounded possible fact problem when the fixed query contains either negation or recursion.", acknowledgement = ack-nhfb, generalterms = "Theory", subject = "Information Systems --- Database Management --- Logical Design (H.2.1): {\bf Data models}; Computing Methodologies --- Artificial Intelligence --- Deduction and Theorem Proving (I.2.3): {\bf Uncertainty, ``fuzzy,'' and probabilistic reasoning}; Computing Methodologies --- Artificial Intelligence --- Knowledge Representation Formalisms and Methods (I.2.4): {\bf Relation systems}", } @InProceedings{Yuan:1987:LDR, author = "L. Y. Yuan and Z. M. Ozsoyoglu", title = "Logical design of relational database schemes", crossref = "ACM:1987:PPS", pages = "38--47", 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/p38-yuan/p38-yuan.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p38-yuan/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p38-yuan/", abstract = "We define extended conflict free dependencies in the context of functional and multivalued dependencies, and prove that there exists an acyclic, dependency preserving, 4NF database scheme if and only if the given set of dependencies has an extended conflict free cover. This condition can be checked in polynomial time. A polynomial time algorithm to obtain such a scheme for a given extended conflict free set of dependencies is also presented. The result is also applicable when the data dependencies consists of only functional dependencies, giving the necessary and sufficient condition for an acyclic, dependency preserving BCNF database scheme", acknowledgement = ack-nhfb, generalterms = "Algorithms; Design; Management; Theory; Verification", keywords = "algorithms; design; management; theory; verification", subject = "{\bf H.2.m} Information Systems, DATABASE MANAGEMENT, Miscellaneous. {\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design, Schema and subschema.", } @InProceedings{Chan:1987:DDS, author = "E. P. F. Chan and H. J. Hernandez", title = "On designing database schemes bounded or constant-time maintainable with respect to functional dependencies", crossref = "ACM:1987:PPS", pages = "48--57", 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/p48-chan/p48-chan.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p48-chan/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p48-chan/", abstract = "Under the weak instance model, to determine if a class of database schemes is bounded with respect to dependencies is fundamental for the analysis of the behavior of the class of database schemes with respect to query processing and updates. However, proving that a class of database schemes is bounded with respect to dependencies seems to be very difficult even for restricted cases. To resolve this problem, we need to develop techniques for characterizing bounded database schemes \par In this paper, we give a formal methodology for designing database schemes bounded with respect to functional dependencies using a new technique called extensibility. This methodology can also be used to design constant-time-maintainable database schemes", acknowledgement = ack-nhfb, generalterms = "Design; Management; Theory; Verification", keywords = "design; management; theory; verification", subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design, Schema and subschema.", } @InProceedings{Sacca:1987:MCM, author = "Domenico Sacca and Carlo Zaniolo", title = "Magic counting methods", crossref = "Dayal:1987:PAC", pages = "49--59", 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/p49-sacca/p49-sacca.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p49-sacca/", abstract = "{\em The problem considered is that of implementing recursive queries, expressed in a logic-based language, by efficient fixpoint computations. In particular, the situation is studied where the initial bindings in the recursive predicate can be used to restrict the search space and ensure safety of execution. Two key techniques previously proposed to solve this problem are (i) the highly efficient counting method, and (ii) the magic set method which is safe in a wider range of situations than (i). In this paper, we present a family of methods, called the magic counting methods, that combines the advantages of (i) and (ii). This is made possible by the similarity of the strategies used by the counting method and the magic set method for propagating the bindings. This paper introduces these new methods, examines their computational complexity, and illustrates the trade-offs between the family members and their superiority with respect to the old methods}.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Theory", subject = "Information Systems --- Database Management --- Languages (H.2.3); Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Recursive function theory}; Theory of Computation --- Mathematical Logic and Formal Languages --- Grammars and Other Rewriting Systems (F.4.2); Theory of Computation --- Analysis of Algorithms and Problem Complexity --- Numerical Algorithms and Problems (F.2.1): {\bf Number-theoretic computations}", } @InProceedings{Gottlob:1987:CCE, author = "G. Gottlob", title = "Computing covers for embedded functional dependencies", crossref = "ACM:1987:PPS", pages = "58--69", 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/p58-gottlob/p58-gottlob.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p58-gottlob/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p58-gottlob/", abstract = "This paper deals with the problem of computing covers for the functional dependencies embedded in a subset of a given relation schema. We show how this problem can be simplified and present a new and efficient algorithm ``Reduction. By Resolution'' (RBR) for its solution. Though the problem of computing covers for embedded dependencies is inherently exponential, our algorithm behaves polynomially for several classes of inputs. RBR can be used for the solution of some related problems in the theory of database design, such as deciding whether a given database scheme is in Boyce-Codd Normal Form or decomposing a scheme into Boyce-Codd Normal Form.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Design; Management; Theory; Verification", keywords = "algorithms; design; management; theory; verification", subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design, Schema and subschema.", } @InProceedings{Aly:1987:NDM, author = "Hussien Aly and Z. Meral Ozsoyoglu", title = "Non-deterministic modelling of logical queries in deductive databases", crossref = "Dayal:1987:PAC", pages = "60--72", 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/p60-aly/p60-aly.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p60-aly/", abstract = "We propose a technique based on Petri Nets formalism to model logic queries in deductive databases. The model is called PNLP (Petri Net model for Logic Programs), and it has a simple formal description and a graphical representation. The PNLP model explicitly represents the relationships between rules and predicates. It is general and flexible enough to demonstrate the flow of control in different algorithms used to evaluate recursive logic queries. In fact the model unifies the level of description of these algorithms, and facilitates identifying similarities and differences between them. The inherent non-determinism in the PNLP model may also be useful in recognizing the parallelism within Horn-clause logic programs. In this paper, the PNLP model is described, and its functionality is demonstrated by modeling several existing algorithms for recursive query evaluation.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Design; Theory", subject = "Information Systems --- Database Management --- Systems (H.2.4): {\bf Query processing}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Logic and constraint programming}; Mathematics of Computing --- Discrete Mathematics --- Graph Theory (G.2.2): {\bf Network problems}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Recursive function theory}", } @InProceedings{DAtri:1987:DQI, author = "A. D'Atri and P. Di Felice and M. Moscarini", title = "Dynamic query interpretation in relational databases", crossref = "ACM:1987:PPS", pages = "70--78", 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/p70-d_atri/p70-d_atri.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p70-d_atri/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p70-d_atri/", abstract = "A new dynamic approach to the problem of determining the correct interpretation of a logically independent query to a relational database is described. The proposed disambiguating process is based on a simple user-system dialogue that consists in a sequence of decisions about the relevance (or not) of an attribute with respect to the user interpretation", acknowledgement = ack-nhfb, generalterms = "Design; Management; Theory", keywords = "design; management; theory", subject = "{\bf H.2.m} Information Systems, DATABASE MANAGEMENT, Miscellaneous. {\bf H.2.4} Information Systems, DATABASE MANAGEMENT, Systems, Query processing. {\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design, Schema and subschema.", } @InProceedings{Han:1987:HRP, author = "Jiawei Han and Lawrence J. Henschen", title = "Handling redundancy in the processing of recursive database queries", crossref = "Dayal:1987:PAC", pages = "73--81", 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/p73-han/p73-han.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p73-han/", abstract = "Redundancy may exist in the processing of recursive database queries at four different levels precompilation level, iteration level, tuple processing level and file accessing level. Techniques for reducing redundant work at each level are studied. In the precompilation level, the optimization techniques include removing redundant parts in a rule cluster, simplifying recursive clusters and sharing common subexpressions among rules. At the iteration level, the techniques discussed are the use of frontier relations and the counting method. At the tuple processing level, we use merging and filtering methods to exclude processed drivers from database reaccessing. Finally, at the file accessing level, I/O cost can be further reduced by level relaxation. We conclude that even for complex recursion, redundant database processing can be considerably reduced or eliminated by developing appropriate algorithms.", acknowledgement = ack-nhfb, generalterms = "Algorithms; Performance; Theory", subject = "Information Systems --- Database Management --- Systems (H.2.4): {\bf Query processing}; Theory of Computation --- Mathematical Logic and Formal Languages --- Mathematical Logic (F.4.1): {\bf Recursive function theory}", } @InProceedings{Atzeni:1987:NBW, author = "P. Atzeni and M. C. De Bernardis", title = "A new basis for the weak instance model", crossref = "ACM:1987:PPS", pages = "79--86", 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/p79-atzeni/p79-atzeni.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p79-atzeni/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p79-atzeni/", abstract = "A new definition of the weak instance model is presented, which does not consider the missing values as existent though unknown, but just assumes that no information is available about them. It is possible to associate with the new definition logical theories that do not contain universally quantified variables. The new model enjoys various desirable properties of the old weak instance model, with respect to dependency satisfaction, query answering, and associated logical theories.", acknowledgement = ack-nhfb, generalterms = "Design; Management; Theory", keywords = "design; management; theory", subject = "{\bf H.2.1} Information Systems, DATABASE MANAGEMENT, Logical Design, Data models.", } @InProceedings{Daniels:1987:DLT, author = "Dean S. Daniels and Alfred Z. Spector and Dean S. Thompson", title = "Distributed logging for transaction processing", crossref = "Dayal:1987:PAC", pages = "82--96", 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/p82-daniels/p82-daniels.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p82-daniels/", abstract = "Increased interest in using workstations and small processors for distributed transaction processing raises the question of how to implement the logs needed for transaction recovery. Although logs can be implemented with data written to duplexed disks on each processing node, this paper argues there are advantages if log data is written to multiple {\em log server\/} nodes. A simple analysis of expected logging loads leads to the conclusion that a high performance, microprocessor based processing node can support a log server if it uses efficient communication protocols and low latency, non volatile storage to buffer log data. The buffer is needed to reduce the processing time per log record and to increase throughput to the logging disk. An interface to the log servers using simple, robust, and efficient protocols is presented. Also described are the disk data structures that the log servers use. This paper concludes with a brief discussion of remaining design issues, the status of a prototype implementation, and plans for its completion.", acknowledgement = ack-nhfb, generalterms = "Design; Performance", subject = "Information Systems --- Database Management --- Systems (H.2.4); Information Systems --- Database Management --- Database Administration (H.2.7): {\bf Logging and recovery}", } @InProceedings{Malvestuto:1987:AQC, author = "F. M. Malvestuto", title = "Answering queries in categorical databases", crossref = "ACM:1987:PPS", pages = "87--96", 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/p87-malvestuto/p87-malvestuto.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p87-malvestuto/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p87-malvestuto/", abstract = "A compatible categorical data base can be viewed as a single (contingency) table by taking the {\em maximum-entropy\/} extension of the component tables. Such a view, here called {\em universal table model,\/} is needed to answer a user who wishes ``cross-classified'' categorical data, that is, categorical data resulting from the combination of the information contents of two or more base tables. In order to implement a {\em universal table interface\/} we make use of a query-optimization procedure, which is able to generate an appropriate answer both in the case that the asked data are present in the data base and in the case that they are not and, then, have to be estimated", acknowledgement = ack-nhfb, generalterms = "Design; Management; Theory; Verification", keywords = "design; management; theory; verification", subject = "{\bf H.2.4} Information Systems, DATABASE MANAGEMENT, Systems, Query processing. {\bf H.2.m} Information Systems, DATABASE MANAGEMENT, Miscellaneous.", } @InProceedings{Herman:1987:DAV, author = "Gary Herman and K. C. Lee and Abel Weinrib", title = "The datacycle architecture for very high throughput database systems", crossref = "Dayal:1987:PAC", pages = "97--103", 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/p97-herman/p97-herman.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p97-herman/", abstract = "{\em The evolutionary trend toward a database-driven public communications network has motivated research into database architectures capable of executing thousands of transactions per second. In this paper we introduce the Datacycle architecture, an attempt to exploit the enormous transmission bandwidth of optical systems to permit the implementation of high throughput multiprocessor database systems. The architecture has the potential for unlimited query throughput, simplified data management, rapid execution of complex queries, and efficient concurrency control. We describe the logical operation of the architecture and discuss implementation issues in the context of a prototype system currently under construction}.", acknowledgement = ack-nhfb, generalterms = "Design; Management", subject = "Information Systems --- Database Management --- Systems (H.2.4); Computer Systems Organization --- Computer-Communication Networks --- Network Architecture and Design (C.2.1): {\bf Network communications}; Computer Systems Organization --- Computer-Communication Networks --- Distributed Systems (C.2.4): {\bf Network operating systems}; Information Systems --- Database Management --- General (H.2.0)", } @InProceedings{Fekete:1987:NTR, author = "A. Fekete and N. Lynch and M. Merrit and W. Weihl", title = "Nested transactions and read-write locking", crossref = "ACM:1987:PPS", pages = "97--111", year = "1987", bibdate = "Wed Oct 25 08:47:34 MDT 2000", bibsource = "http://www.acm.org/pubs/contents/proceedings/series/sigmod_pods/", URL = "http://www.acm.org/pubs/articles/proceedings/pods/28659/p97-fekete/p97-fekete.pdf; http://www.acm.org/pubs/citations/proceedings/pods/28659/p97-fekete/; http://www.acm.org:80/pubs/citations/proceedings/pods/28659/p97-fekete/", acknowledgement = ack-nhfb, keywords = "algorithms; design; management; verification", subject = "{\bf H.2.4} Information Systems, DATABASE MANAGEMENT, Systems, Transaction processing.", } @InProceedings{Lehman:1987:RAH, author = "Tobin J. Lehman and Michael J. Carey", title = "A recovery algorithm for a high-performance memory-resident database system", crossref = "Dayal:1987:PAC", pages = "104--117", 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/p104-lehman/p104-lehman.pdf; http://www.acm.org/pubs/citations/proceedings/mod/38713/p104-lehman/", abstract = "With memory prices dropping and memory sizes increasing accordingly, a number of researchers are addressing the problem of designing high-performance database systems for managing memory-resident data. In this paper we address the recovery problem in the context of such a system. We argue that existing database recovery schemes fall short of meeting the requirements of such a system, and we present a new recovery mechanism which is designed to overcome their shortcomings. The proposed mechanism takes advantage of a few megabytes of reliable memory in order to organize recovery information on a per ``object'' basis. A