van der Meyden, Ron Predicate boundedness of linear monadic datalog is in PSPACE. (English) Zbl 0971.68043 Int. J. Found. Comput. Sci. 11, No. 4, 591-612 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{R. van der Meyden}, Int. J. Found. Comput. Sci. 11, No. 4, 591--612 (2000; Zbl 0971.68043) Full Text: DOI
Van der Meyden, Ron Recursively indefinite databases. (English) Zbl 0797.68046 Theor. Comput. Sci. 116, No. 1, 151-194 (1993). MSC: 68P15 68N17 PDFBibTeX XMLCite \textit{R. Van der Meyden}, Theor. Comput. Sci. 116, No. 1, 151--194 (1993; Zbl 0797.68046) Full Text: DOI
van der Meyden, R. Recursively indefinite databases. (English) Zbl 0789.68034 Database theory, Proc. 3rd Int. Conf., ICDT ’90, Paris/Fr. 1990, Lect. Notes Comput. Sci. 470, 364-378 (1990). MSC: 68P15 68Q42 PDFBibTeX XMLCite \textit{R. van der Meyden}, Lect. Notes Comput. Sci. 470, 364--378 (1990; Zbl 0789.68034)