@article{Abiteboul-Hull/88,
AUTHOR = {Abiteboul, Serge and Hull, Richard},
TITLE = {Restructuring hierarchical database objects},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {3-38},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Atzeni-Parker/88,
AUTHOR = {Atzeni, Paolo and Parker, D. Stott},
TITLE = {Set containment inference and syllogisms},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {39-65},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Chan-Hernandez/88b,
AUTHOR = {Chan, Edward P.F. and Hern{\'a}ndez, H{\'e}ctor J.},
TITLE = {On the desirability of $\gamma$-acyclic BCNF database schemes},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {67-104},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lakshmanan/88,
AUTHOR = {Lakshmanan, V.S.},
TITLE = {Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {105-122},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Lynch-Merritt/88,
AUTHOR = {Lynch, Nancy and Merritt, Michael},
TITLE = {Introduction to the theory of nested transactions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {123-185},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Sacca-Zaniolo/88,
AUTHOR = {Sacc{\`a}, Domenico and Zaniolo, Carlo},
TITLE = {The generalized counting method for recursive logic queries},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {187-220},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Van_Gucht/88,
AUTHOR = {Van Gucht, Dirk},
TITLE = {Interaction-free multivalued dependency sets},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {221-233},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Geffert/88a,
AUTHOR = {Geffert, Villiam},
TITLE = {A representation of recursively enumerable languages by two homomorphisms and a quotient},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {235-249},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Rao-Iyengar-Kashyap/88,
AUTHOR = {Rao, Nageswara S.V. and Iyengar, S.S. and Kashyap, R.L.},
TITLE = {An average-case analysis of MAT and inverted file},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {251-266},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Salomaa/88a,
AUTHOR = {Salomaa, Kai},
TITLE = {A pumping result for 2-context-free languages},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {267-287},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Zeugmann/88,
AUTHOR = {Zeugmann, Thomas},
TITLE = {On the power of recursive optimizers},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {289-310},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Buss-Turan/88,
AUTHOR = {Buss, Samuel R. and Tur{\'a}n, Gy{\"o}rgy},
TITLE = {Resolution proofs of generalized pigeonhole principles},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {311-317},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}
@article{Meinel/88a,
AUTHOR = {Meinel, Christoph},
TITLE = {The power of nondeterminism in polynomial-size bounded-width branching programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {62},
PAGES = {319-325},
YEAR = {1988},
PUBLISHER = {Elsevier Science Publishers B.V. (North Holland)},
}