Tueshaus, Ulrich Approximation of binary relations by preorders. (English) Zbl 0505.90006 Methods Oper. Res. 43, 445-454 (1981). MSC: 91B08 06A99 90C90 PDFBibTeX XMLCite \textit{U. Tueshaus}, Methods Oper. Res. 43, 445--454 (1981; Zbl 0505.90006)
Livchak, A. B. Relational database models and polynomial computability. (English) Zbl 0499.68049 Autom. Doc. Math. Linguist. 15, No. 3, 93-96 (1981). MSC: 68P20 68Q25 68P05 68N25 PDFBibTeX XMLCite \textit{A. B. Livchak}, Autom. Doc. Math. Linguist. 15, No. 3, 93--96 (1981; Zbl 0499.68049)
Maier, David; Sagiv, Yehoshua; Yannakakis, Mihalis On the complexity of testing implications of functional and join dependencies. (English) Zbl 0481.68094 J. Assoc. Comput. Mach. 28, 680-695 (1981). MSC: 68P20 68Q25 PDFBibTeX XMLCite \textit{D. Maier} et al., J. Assoc. Comput. Mach. 28, 680--695 (1981; Zbl 0481.68094) Full Text: DOI
Livchak, A. B. Relational models of databases and polynomial computability. (Russian) Zbl 0466.68087 Nauchno-Tekh. Inf., Ser. 2 1981, No. 6, 28-29 (1981). MSC: 68P20 68P05 68Q25 68N25 PDFBibTeX XMLCite \textit{A. B. Livchak}, Nauchno-Tekh. Inf., Ser. 2 1981, No. 6, 28--29 (1981; Zbl 0466.68087)
Beeri, C.; Vardi, M. Y. The implication problem for data dependencies (extended abstract). (English) Zbl 0462.68022 Automata, languages and programming, 8th Colloq., Acre (Akko)/Isr. 1981, Lect. Notes Comput. Sci. 115, 73-85 (1981). MSC: 68Q25 68P20 68N25 PDFBibTeX XML
Kanellakis, Paris C. On the computational complexity of cardinality constraints in relational databases. (English) Zbl 0465.68058 Inf. Process. Lett. 11, 98-101 (1980). MSC: 68P20 68Q25 68P05 68N25 PDFBibTeX XMLCite \textit{P. C. Kanellakis}, Inf. Process. Lett. 11, 98--101 (1980; Zbl 0465.68058) Full Text: DOI
Downey, Peter J.; Sethi, Ravi; Tarjan, Robert Endre Variations on the common subexpression problem. (English) Zbl 0458.68026 J. Assoc. Comput. Mach. 27, 758-771 (1980). MSC: 68R99 68R10 68N25 68P20 68Q60 68Q25 PDFBibTeX XMLCite \textit{P. J. Downey} et al., J. Assoc. Comput. Mach. 27, 758--771 (1980; Zbl 0458.68026) Full Text: DOI
Chandra, Ashok K.; Harel, David Computable queries for relational data bases. (English) Zbl 0456.68128 J. Comput. Syst. Sci. 21, 156-178 (1980). MSC: 68P20 68Q25 03D60 03E20 PDFBibTeX XMLCite \textit{A. K. Chandra} and \textit{D. Harel}, J. Comput. Syst. Sci. 21, 156--178 (1980; Zbl 0456.68128) Full Text: DOI
Sagiv, Yehoshua; Yannakakis, Mihalis Equivalences among relational expressions with the union and difference operators. (English) Zbl 0456.68123 J. Assoc. Comput. Mach. 27, 633-655 (1980). MSC: 68P20 68Q25 68P05 03E20 PDFBibTeX XMLCite \textit{Y. Sagiv} and \textit{M. Yannakakis}, J. Assoc. Comput. Mach. 27, 633--655 (1980; Zbl 0456.68123) Full Text: DOI
Sagiv, Yehoshua An algorithm for inferring multivalued dependencies with an application to propositional logic. (English) Zbl 0446.68085 J. Assoc. Comput. Mach. 27, 250-262 (1980). MSC: 68P20 68Q25 03B20 PDFBibTeX XMLCite \textit{Y. Sagiv}, J. Assoc. Comput. Mach. 27, 250--262 (1980; Zbl 0446.68085) Full Text: DOI
Honeyman, Peter; Ladner, Richard E.; Yannakakis, Mihalis Testing the universal instance assumption. (English) Zbl 0422.68048 Inf. Process. Lett. 10, 14-19 (1980). MSC: 68P20 68Q25 PDFBibTeX XMLCite \textit{P. Honeyman} et al., Inf. Process. Lett. 10, 14--19 (1980; Zbl 0422.68048) Full Text: DOI
Osborn, Sylvia L. Testing for existence of a covering Boyce-Codd normal form. (English) Zbl 0411.68082 Inf. Process. Lett. 8, 11-14 (1979). MSC: 68P20 68P05 68Q25 PDFBibTeX XMLCite \textit{S. L. Osborn}, Inf. Process. Lett. 8, 11--14 (1979; Zbl 0411.68082) Full Text: DOI
Hagihara, Kenichi; Ito, Minoru; Taniguchi, Kenichi; Kasami, Tadao Decision problems for multivalued dependencies in relational databases. (English) Zbl 0408.68025 SIAM J. Comput. 8, 247-264 (1979). MSC: 68P05 68Q25 68P20 PDFBibTeX XMLCite \textit{K. Hagihara} et al., SIAM J. Comput. 8, 247--264 (1979; Zbl 0408.68025) Full Text: DOI
Radziszowski, Stanislaw Programmability and P=NP conjecture. (English) Zbl 0404.68043 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 71-82 (1978). MSC: 68Q65 68Q05 68N01 68Q25 PDFBibTeX XMLCite \textit{S. Radziszowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 71--82 (1978; Zbl 0404.68043)
Lucchesi, Claudio L.; Osborn, Sylvia L. Candidate keys for relations. (English) Zbl 0395.68025 J. Comput. Syst. Sci. 17, 270-279 (1978). MSC: 68P05 68Q25 68W99 68P20 PDFBibTeX XMLCite \textit{C. L. Lucchesi} and \textit{S. L. Osborn}, J. Comput. Syst. Sci. 17, 270--279 (1978; Zbl 0395.68025) Full Text: DOI
Rennert, P. F.; Tjoa, A. M.; Vinek, G.; Wagner, R. R. A data manipulation language based on a relational data model for the preparation of statistical analysis. (English) Zbl 0391.68040 COMPSTAT 1976, Proc. Comput. Stat., 2nd Symp. Berlin(West) 1976, 380-387 (1976). MSC: 68N99 68P05 62-07 PDFBibTeX XML