Hannula, Miika; Li, Xinyi; Link, Sebastian Controlling entity integrity with key sets. (English) Zbl 07695016 J. Comput. Syst. Sci. 136, 195-219 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{M. Hannula} et al., J. Comput. Syst. Sci. 136, 195--219 (2023; Zbl 07695016) Full Text: DOI arXiv
Ferrarotti, Flavio; González, Senén; Turull Torres, José María; Van den Bussche, Jan; Virtema, Jonni Descriptive complexity of deterministic polylogarithmic time and space. (English) Zbl 1517.68140 J. Comput. Syst. Sci. 119, 145-163 (2021). Reviewer: Gregory Loren McColm (Tampa) MSC: 68Q19 03D10 03D15 68Q15 PDFBibTeX XMLCite \textit{F. Ferrarotti} et al., J. Comput. Syst. Sci. 119, 145--163 (2021; Zbl 1517.68140) Full Text: DOI arXiv
Freydenberger, Dominik D.; Schmid, Markus L. Deterministic regular expressions with back-references. (English) Zbl 1423.68251 J. Comput. Syst. Sci. 105, 1-39 (2019). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. D. Freydenberger} and \textit{M. L. Schmid}, J. Comput. Syst. Sci. 105, 1--39 (2019; Zbl 1423.68251) Full Text: DOI Link
Burdick, Douglas; Fagin, Ronald; Kolaitis, Phokion G.; Popa, Lucian; Tan, Wang-Chiew Expressive power of entity-linking frameworks. (English) Zbl 1421.68036 J. Comput. Syst. Sci. 100, 44-69 (2019). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Burdick} et al., J. Comput. Syst. Sci. 100, 44--69 (2019; Zbl 1421.68036) Full Text: DOI Link
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms. (English) Zbl 1390.68345 J. Comput. Syst. Sci. 94, 11-40 (2018). MSC: 68Q25 68Q10 68R10 68W10 90C27 PDFBibTeX XMLCite \textit{G. Gottlob} et al., J. Comput. Syst. Sci. 94, 11--40 (2018; Zbl 1390.68345) Full Text: DOI arXiv
Xiao, Guoqing; Li, Kenli; Zhou, Xu; Li, Keqin Efficient monochromatic and bichromatic probabilistic reverse top-\(k\) query processing for uncertain big data. (English) Zbl 1372.68227 J. Comput. Syst. Sci. 89, 92-113 (2017). MSC: 68T05 68P15 PDFBibTeX XMLCite \textit{G. Xiao} et al., J. Comput. Syst. Sci. 89, 92--113 (2017; Zbl 1372.68227) Full Text: DOI
Barceló, Pablo; Fontaine, Gaëlle On the data complexity of consistent query answering over graph databases. (English) Zbl 1371.68060 J. Comput. Syst. Sci. 88, 164-194 (2017). MSC: 68P15 68Q42 68T27 PDFBibTeX XMLCite \textit{P. Barceló} and \textit{G. Fontaine}, J. Comput. Syst. Sci. 88, 164--194 (2017; Zbl 1371.68060) Full Text: DOI Link
Bille, Philip; Gørtz, Inge Li; Cording, Patrick Hagge; Sach, Benjamin; Vildhøj, Hjalte Wedel; Vind, Søren Fingerprints in compressed strings. (English) Zbl 1370.68060 J. Comput. Syst. Sci. 86, 171-180 (2017). MSC: 68P05 68P30 68Q42 68W32 PDFBibTeX XMLCite \textit{P. Bille} et al., J. Comput. Syst. Sci. 86, 171--180 (2017; Zbl 1370.68060) Full Text: DOI arXiv
de Haan, Ronald; Szeider, Stefan Parameterized complexity classes beyond para-NP. (English) Zbl 1370.68146 J. Comput. Syst. Sci. 87, 16-57 (2017). MSC: 68Q25 68Q05 68Q15 PDFBibTeX XMLCite \textit{R. de Haan} and \textit{S. Szeider}, J. Comput. Syst. Sci. 87, 16--57 (2017; Zbl 1370.68146) Full Text: DOI
Koehler, Henning; Link, Sebastian Inclusion dependencies and their interaction with functional dependencies in SQL. (English) Zbl 1359.68058 J. Comput. Syst. Sci. 85, 104-131 (2017). MSC: 68P15 68Q17 PDFBibTeX XMLCite \textit{H. Koehler} and \textit{S. Link}, J. Comput. Syst. Sci. 85, 104--131 (2017; Zbl 1359.68058) Full Text: DOI
Grandjean, Etienne; Olive, Frédéric A logical approach to locality in pictures languages. (English) Zbl 1342.68183 J. Comput. Syst. Sci. 82, No. 6, 959-1006 (2016). MSC: 68Q45 03B15 03D05 68Q15 68Q80 PDFBibTeX XMLCite \textit{E. Grandjean} and \textit{F. Olive}, J. Comput. Syst. Sci. 82, No. 6, 959--1006 (2016; Zbl 1342.68183) Full Text: DOI
Hannula, Miika; Kontinen, Juha; Link, Sebastian On the finite and general implication problems of independence atoms and keys. (English) Zbl 1338.68057 J. Comput. Syst. Sci. 82, No. 5, 856-877 (2016). MSC: 68P15 03B70 PDFBibTeX XMLCite \textit{M. Hannula} et al., J. Comput. Syst. Sci. 82, No. 5, 856--877 (2016; Zbl 1338.68057) Full Text: DOI
Vychodil, Vilem Monoidal functional dependencies. (English) Zbl 1339.68070 J. Comput. Syst. Sci. 81, No. 7, 1357-1372 (2015). MSC: 68P15 03B70 06F05 PDFBibTeX XMLCite \textit{V. Vychodil}, J. Comput. Syst. Sci. 81, No. 7, 1357--1372 (2015; Zbl 1339.68070) Full Text: DOI arXiv
Flesca, Sergio; Furfaro, Filippo; Parisi, Francesco Consistency checking and querying in probabilistic databases under integrity constraints. (English) Zbl 1311.68053 J. Comput. Syst. Sci. 80, No. 7, 1448-1489 (2014). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Flesca} et al., J. Comput. Syst. Sci. 80, No. 7, 1448--1489 (2014; Zbl 1311.68053) Full Text: DOI arXiv
Fomin, Fedor V.; Villanger, Yngve Searching for better fill-in. (English) Zbl 1311.68077 J. Comput. Syst. Sci. 80, No. 7, 1374-1383 (2014). MSC: 68Q25 05C62 68R10 PDFBibTeX XMLCite \textit{F. V. Fomin} and \textit{Y. Villanger}, J. Comput. Syst. Sci. 80, No. 7, 1374--1383 (2014; Zbl 1311.68077) Full Text: DOI
Talaei-Khoei, Amir; Vichitvanichphong, Suchada; Solvoll, Terje; Ray, Pradeep; Ghapanchi, Amir Hossein A methodology to develop awareness in computer supported collaborative work using policies. (English) Zbl 1311.68158 J. Comput. Syst. Sci. 80, No. 7, 1323-1338 (2014). MSC: 68T42 PDFBibTeX XMLCite \textit{A. Talaei-Khoei} et al., J. Comput. Syst. Sci. 80, No. 7, 1323--1338 (2014; Zbl 1311.68158) Full Text: DOI
Durand, Arnaud; Mengel, Stefan The complexity of weighted counting for acyclic conjunctive queries. (English) Zbl 1311.68052 J. Comput. Syst. Sci. 80, No. 1, 277-296 (2014). MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{A. Durand} and \textit{S. Mengel}, J. Comput. Syst. Sci. 80, No. 1, 277--296 (2014; Zbl 1311.68052) Full Text: DOI arXiv
Pichler, Reinhard; Skritek, Sebastian Tractable counting of the answers to conjunctive queries. (English) Zbl 1408.68051 J. Comput. Syst. Sci. 79, No. 6, 984-1001 (2013). MSC: 68P15 68Q25 PDFBibTeX XMLCite \textit{R. Pichler} and \textit{S. Skritek}, J. Comput. Syst. Sci. 79, No. 6, 984--1001 (2013; Zbl 1408.68051) Full Text: DOI
Meier, Michael; Schmidt, Michael; Wei, Fang; Lausen, Georg Semantic query optimization in the presence of types. (English) Zbl 1408.68049 J. Comput. Syst. Sci. 79, No. 6, 937-957 (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Meier} et al., J. Comput. Syst. Sci. 79, No. 6, 937--957 (2013; Zbl 1408.68049) Full Text: DOI
Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Calvanese, Diego Capturing model-based ontology evolution at the instance level: the case of DL-Lite. (English) Zbl 1307.68078 J. Comput. Syst. Sci. 79, No. 6, 835-872 (2013). Reviewer: Udo Hahn (Jena) MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{E. Kharlamov} et al., J. Comput. Syst. Sci. 79, No. 6, 835--872 (2013; Zbl 1307.68078) Full Text: DOI
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y. On simplification of schema mappings. (English) Zbl 1408.68046 J. Comput. Syst. Sci. 79, No. 6, 816-834 (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Calvanese} et al., J. Comput. Syst. Sci. 79, No. 6, 816--834 (2013; Zbl 1408.68046) Full Text: DOI
Bojańczyk, Mikołaj; Kołodziejczyk, Leszek A.; Murlak, Filip Solutions in XML data exchange. (English) Zbl 1408.68045 J. Comput. Syst. Sci. 79, No. 6, 785-815 (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Bojańczyk} et al., J. Comput. Syst. Sci. 79, No. 6, 785--815 (2013; Zbl 1408.68045) Full Text: DOI
Arenas, Marcelo; Pérez, Jorge; Reutter, Juan; Riveros, Cristian The language of plain SO-tgds: composition, inversion and structural properties. (English) Zbl 1412.68055 J. Comput. Syst. Sci. 79, No. 6, 763-784 (2013). MSC: 68P15 PDFBibTeX XMLCite \textit{M. Arenas} et al., J. Comput. Syst. Sci. 79, No. 6, 763--784 (2013; Zbl 1412.68055) Full Text: DOI
Link, Sebastian Characterisations of multivalued dependency implication over undetermined universes. (English) Zbl 1246.68111 J. Comput. Syst. Sci. 78, No. 4, 1026-1044 (2012). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Link}, J. Comput. Syst. Sci. 78, No. 4, 1026--1044 (2012; Zbl 1246.68111) Full Text: DOI
Talaei-Khoei, Amir; Solvoll, Terje; Ray, Pradeep; Parameshwaran, Nandan Maintaining awareness using policies; Enabling agents to identify relevance of information. (English) Zbl 1238.68170 J. Comput. Syst. Sci. 78, No. 1, 370-391 (2012). MSC: 68T42 68T35 68T27 PDFBibTeX XMLCite \textit{A. Talaei-Khoei} et al., J. Comput. Syst. Sci. 78, No. 1, 370--391 (2012; Zbl 1238.68170) Full Text: DOI
Rosati, Riccardo On the finite controllability of conjunctive query answering in databases under open-world assumption. (English) Zbl 1215.68094 J. Comput. Syst. Sci. 77, No. 3, 572-594 (2011). MSC: 68P15 PDFBibTeX XMLCite \textit{R. Rosati}, J. Comput. Syst. Sci. 77, No. 3, 572--594 (2011; Zbl 1215.68094) Full Text: DOI
Libkin, Leonid; Sirangelo, Cristina Data exchange and schema mappings in open and closed worlds. (English) Zbl 1215.68093 J. Comput. Syst. Sci. 77, No. 3, 542-571 (2011). MSC: 68P15 68Q55 PDFBibTeX XMLCite \textit{L. Libkin} and \textit{C. Sirangelo}, J. Comput. Syst. Sci. 77, No. 3, 542--571 (2011; Zbl 1215.68093) Full Text: DOI
Gutierrez, Claudio; Hurtado, Carlos A.; Mendelzon, Alberto O.; Pérez, Jorge Foundations of semantic web databases. (English) Zbl 1215.68091 J. Comput. Syst. Sci. 77, No. 3, 520-541 (2011). MSC: 68P15 68Q25 68M11 PDFBibTeX XMLCite \textit{C. Gutierrez} et al., J. Comput. Syst. Sci. 77, No. 3, 520--541 (2011; Zbl 1215.68091) Full Text: DOI
Cohen, David; Jeavons, Peter; Gyssens, Marc A unified theory of structural tractability for constraint satisfaction problems. (English) Zbl 1151.68640 J. Comput. Syst. Sci. 74, No. 5, 721-743 (2008). MSC: 68T20 PDFBibTeX XMLCite \textit{D. Cohen} et al., J. Comput. Syst. Sci. 74, No. 5, 721--743 (2008; Zbl 1151.68640) Full Text: DOI Link
Fuxman, Ariel; Miller, Renée J. First-order query rewriting for inconsistent databases. (English) Zbl 1112.68042 J. Comput. Syst. Sci. 73, No. 4, 610-635 (2007). MSC: 68P15 68P20 PDFBibTeX XMLCite \textit{A. Fuxman} and \textit{R. J. Miller}, J. Comput. Syst. Sci. 73, No. 4, 610--635 (2007; Zbl 1112.68042) Full Text: DOI
Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola Magic Sets and their application to data integration. (English) Zbl 1115.68047 J. Comput. Syst. Sci. 73, No. 4, 584-609 (2007). MSC: 68N17 PDFBibTeX XMLCite \textit{W. Faber} et al., J. Comput. Syst. Sci. 73, No. 4, 584--609 (2007; Zbl 1115.68047) Full Text: DOI
Leinders, Dirk; Van den Bussche, Jan On the complexity of division and set joins in the relational algebra. (English) Zbl 1115.68066 J. Comput. Syst. Sci. 73, No. 4, 538-549 (2007). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Leinders} and \textit{J. Van den Bussche}, J. Comput. Syst. Sci. 73, No. 4, 538--549 (2007; Zbl 1115.68066) Full Text: DOI Link
Miklau, Gerome; Suciu, Dan A formal analysis of information disclosure in data exchange. (English) Zbl 1115.68067 J. Comput. Syst. Sci. 73, No. 3, 507-534 (2007). MSC: 68P15 PDFBibTeX XMLCite \textit{G. Miklau} and \textit{D. Suciu}, J. Comput. Syst. Sci. 73, No. 3, 507--534 (2007; Zbl 1115.68067) Full Text: DOI
Scarcello, Francesco; Greco, Gianluigi; Leone, Nicola Weighted hypertree decompositions and optimal query plans. (English) Zbl 1115.68068 J. Comput. Syst. Sci. 73, No. 3, 475-506 (2007). MSC: 68P15 PDFBibTeX XMLCite \textit{F. Scarcello} et al., J. Comput. Syst. Sci. 73, No. 3, 475--506 (2007; Zbl 1115.68068) Full Text: DOI
Bar-Yossef, Ziv; Fontoura, Marcus; Josifovski, Vanja On the memory requirements of XPath evaluation over XML streams. (English) Zbl 1115.68054 J. Comput. Syst. Sci. 73, No. 3, 391-441 (2007). MSC: 68P05 PDFBibTeX XMLCite \textit{Z. Bar-Yossef} et al., J. Comput. Syst. Sci. 73, No. 3, 391--441 (2007; Zbl 1115.68054) Full Text: DOI
Davidson, Susan; Fan, Wenfei; Hara, Carmem Propagating XML constraints to relations. (English) Zbl 1115.68055 J. Comput. Syst. Sci. 73, No. 3, 316-361 (2007); erratum ibid. 74, No. 3, 404-405 (2008). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{S. Davidson} et al., J. Comput. Syst. Sci. 73, No. 3, 316--361 (2007; Zbl 1115.68055) Full Text: DOI Link
Elkin, Michael A faster distributed protocol for constructing a minimum spanning tree. (English) Zbl 1118.68026 J. Comput. Syst. Sci. 72, No. 8, 1282-1308 (2006). MSC: 68M12 68R10 PDFBibTeX XMLCite \textit{M. Elkin}, J. Comput. Syst. Sci. 72, No. 8, 1282--1308 (2006; Zbl 1118.68026) Full Text: DOI
Impagliazzo, Russell; Kapron, Bruce M. Logics for reasoning about cryptographic constructions. (English) Zbl 1090.68033 J. Comput. Syst. Sci. 72, No. 2, 286-320 (2006). MSC: 68P25 PDFBibTeX XMLCite \textit{R. Impagliazzo} and \textit{B. M. Kapron}, J. Comput. Syst. Sci. 72, No. 2, 286--320 (2006; Zbl 1090.68033) Full Text: DOI
Barrington, David A. Mix; Immerman, Neil; Lautemann, Clemens; Schweikardt, Nicole; Thérien, Denis First-order expressibility of languages with neutral letters or: The Crane Beach conjecture. (English) Zbl 1069.03021 J. Comput. Syst. Sci. 70, No. 2, 101-127 (2005). MSC: 03C13 03D05 68Q45 68P15 68Q19 03C98 PDFBibTeX XMLCite \textit{D. A. M. Barrington} et al., J. Comput. Syst. Sci. 70, No. 2, 101--127 (2005; Zbl 1069.03021) Full Text: DOI
Grandjean, Etienne; Olive, Frédéric Graph properties checkable in linear time in the number of vertices. (English) Zbl 1069.68079 J. Comput. Syst. Sci. 68, No. 3, 546-597 (2004). MSC: 68R10 68Q25 68Q19 PDFBibTeX XMLCite \textit{E. Grandjean} and \textit{F. Olive}, J. Comput. Syst. Sci. 68, No. 3, 546--597 (2004; Zbl 1069.68079) Full Text: DOI HAL
Fagin, Ronald; Lotem, Amnon; Naor, Moni Optimal aggregation algorithms for middleware. (English) Zbl 1054.68042 J. Comput. Syst. Sci. 66, No. 4, 614-656 (2003). MSC: 68P15 PDFBibTeX XMLCite \textit{R. Fagin} et al., J. Comput. Syst. Sci. 66, No. 4, 614--656 (2003; Zbl 1054.68042) Full Text: DOI
Hesse, William; Allender, Eric; Barrington, David A. Mix Uniform constant-depth threshold circuits for division and iterated multiplication. (English) Zbl 1059.68044 J. Comput. Syst. Sci. 65, No. 4, 695-716 (2002); corrigendum ibid. 80, No. 2, 496-497 (2014). MSC: 68Q15 PDFBibTeX XMLCite \textit{W. Hesse} et al., J. Comput. Syst. Sci. 65, No. 4, 695--716 (2002; Zbl 1059.68044) Full Text: DOI
Willard, Dan E. An algorithm for handling many relational calculus queries efficiently. (English) Zbl 1059.68026 J. Comput. Syst. Sci. 65, No. 2, 295-331 (2002). MSC: 68P10 PDFBibTeX XMLCite \textit{D. E. Willard}, J. Comput. Syst. Sci. 65, No. 2, 295--331 (2002; Zbl 1059.68026) Full Text: DOI Link
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco Hypertree decompositions and tractable queries. (English) Zbl 1052.68025 J. Comput. Syst. Sci. 64, No. 3, 579-627 (2002). MSC: 68P15 PDFBibTeX XMLCite \textit{G. Gottlob} et al., J. Comput. Syst. Sci. 64, No. 3, 579--627 (2002; Zbl 1052.68025) Full Text: DOI
Segoufin, Luc; Vianu, Victor Querying spatial databases via topological invariants. (English) Zbl 0963.68058 J. Comput. Syst. Sci. 61, No. 2, 270-301 (2000). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Segoufin} and \textit{V. Vianu}, J. Comput. Syst. Sci. 61, No. 2, 270--301 (2000; Zbl 0963.68058) Full Text: DOI
Ajtai, Miklos; Fagin, Ronald; Stockmeyer, Larry The closure of monadic NP. (English) Zbl 0958.68069 J. Comput. Syst. Sci. 60, No. 3, 660-716 (2000). MSC: 68Q15 PDFBibTeX XMLCite \textit{M. Ajtai} et al., J. Comput. Syst. Sci. 60, No. 3, 660--716 (2000; Zbl 0958.68069) Full Text: DOI Link
Agrawal, Manindra; Allender, Eric; Datta, Samir On \(\text{TC}^0,\text{AC}^0\), and arithmetic circuits. (English) Zbl 0956.68060 J. Comput. Syst. Sci. 60, No. 2, 395-421 (2000). MSC: 68Q15 PDFBibTeX XMLCite \textit{M. Agrawal} et al., J. Comput. Syst. Sci. 60, No. 2, 395--421 (2000; Zbl 0956.68060) Full Text: DOI
Ibarra, Oscar H.; Su, Jianwen A technique for proving decidability of containment and equivalence of linear constraint queries. (English) Zbl 0939.68028 J. Comput. Syst. Sci. 59, No. 1, 1-28 (1999). MSC: 68P15 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{J. Su}, J. Comput. Syst. Sci. 59, No. 1, 1--28 (1999; Zbl 0939.68028) Full Text: DOI
Dong, Guozhu; Su, Jianwen Arity bounds in first-order incremental evaluation and definition of polynomial time database queries. (English) Zbl 0936.68029 J. Comput. Syst. Sci. 57, No. 3, 289-308 (1998). MSC: 68P15 PDFBibTeX XMLCite \textit{G. Dong} and \textit{J. Su}, J. Comput. Syst. Sci. 57, No. 3, 289--308 (1998; Zbl 0936.68029) Full Text: DOI Link
Malvestuto, Francesco Mario; Moscarini, Marina A fast algorithm for query optimization in universal-relation databases. (English) Zbl 0913.68060 J. Comput. Syst. Sci. 56, No. 3, 299-309 (1998). Reviewer: R.Beedgen (Mannheim) MSC: 68P15 PDFBibTeX XMLCite \textit{F. M. Malvestuto} and \textit{M. Moscarini}, J. Comput. Syst. Sci. 56, No. 3, 299--309 (1998; Zbl 0913.68060) Full Text: DOI
Chaudhuri, Surajit; Kolaitis, Phokion G. Can datalog be approximated? (English) Zbl 0887.68027 J. Comput. Syst. Sci. 55, No. 2, 355-369 (1997). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Chaudhuri} and \textit{P. G. Kolaitis}, J. Comput. Syst. Sci. 55, No. 2, 355--369 (1997; Zbl 0887.68027) Full Text: DOI
Suciu, Dan; Tannen, Val A query language for NC. (English) Zbl 0887.68024 J. Comput. Syst. Sci. 55, No. 2, 299-321 (1997). MSC: 68P15 PDFBibTeX XMLCite \textit{D. Suciu} and \textit{V. Tannen}, J. Comput. Syst. Sci. 55, No. 2, 299--321 (1997; Zbl 0887.68024) Full Text: DOI Link
Grumbach, Stéphane; Su, Jianwen Finitely representable databases. (English) Zbl 0887.68023 J. Comput. Syst. Sci. 55, No. 2, 273-298 (1997). MSC: 68P15 PDFBibTeX XMLCite \textit{S. Grumbach} and \textit{J. Su}, J. Comput. Syst. Sci. 55, No. 2, 273--298 (1997; Zbl 0887.68023) Full Text: DOI Link
Libkin, Leonid; Wong, Limsoon Query languages for bags and aggregate functions. (English) Zbl 0887.68022 J. Comput. Syst. Sci. 55, No. 2, 241-272 (1997). MSC: 68P15 PDFBibTeX XMLCite \textit{L. Libkin} and \textit{L. Wong}, J. Comput. Syst. Sci. 55, No. 2, 241--272 (1997; Zbl 0887.68022) Full Text: DOI Link
Saccà, Domenico The expressive powers of stable models for bound and unbound DATALOG queries. (English) Zbl 0882.68088 J. Comput. Syst. Sci. 54, No. 3, 441-464 (1997). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. Saccà}, J. Comput. Syst. Sci. 54, No. 3, 441--464 (1997; Zbl 0882.68088) Full Text: DOI
Etessami, Kousha Counting quantifiers, successor relations, and logarithmic space. (English) Zbl 0882.68074 J. Comput. Syst. Sci. 54, No. 3, 400-411 (1997). MSC: 68Q25 PDFBibTeX XMLCite \textit{K. Etessami}, J. Comput. Syst. Sci. 54, No. 3, 400--411 (1997; Zbl 0882.68074) Full Text: DOI
Levene, Mark; Loizou, George The nested universal relation data model. (English) Zbl 0938.68588 J. Comput. Syst. Sci. 49, No. 3, 683-717 (1994). MSC: 68P05 68P15 PDFBibTeX XMLCite \textit{M. Levene} and \textit{G. Loizou}, J. Comput. Syst. Sci. 49, No. 3, 683--717 (1994; Zbl 0938.68588) Full Text: DOI
Goldberg, Leslie Ann Listing graphs that satisfy first-order sentences. (English) Zbl 0921.03041 J. Comput. Syst. Sci. 49, No. 2, 408-424 (1994). MSC: 03C13 68Q25 68R10 PDFBibTeX XMLCite \textit{L. A. Goldberg}, J. Comput. Syst. Sci. 49, No. 2, 408--424 (1994; Zbl 0921.03041) Full Text: DOI
Hegner, Stephen J. Unique complements and decompositions of database schemata. (English) Zbl 0802.68042 J. Comput. Syst. Sci. 48, No. 1, 9-57 (1994). MSC: 68P15 PDFBibTeX XMLCite \textit{S. J. Hegner}, J. Comput. Syst. Sci. 48, No. 1, 9--57 (1994; Zbl 0802.68042) Full Text: DOI
Hajnal, András; Maass, Wolfgang; Pudlák, Pavel; Szegedy, Márió; Turán, György Threshold circuits of bounded depth. (English) Zbl 0801.68052 J. Comput. Syst. Sci. 46, No. 2, 129-145 (1993). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{A. Hajnal} et al., J. Comput. Syst. Sci. 46, No. 2, 129--145 (1993; Zbl 0801.68052) Full Text: DOI
Chan, Edward P. F.; Atzeni, Paolo Connection-trap-free database schemes. (English) Zbl 0743.68052 J. Comput. Syst. Sci. 44, No. 1, 1-22 (1992). MSC: 68P15 PDFBibTeX XMLCite \textit{E. P. F. Chan} and \textit{P. Atzeni}, J. Comput. Syst. Sci. 44, No. 1, 1--22 (1992; Zbl 0743.68052) Full Text: DOI
Papadimitriou, Christos H.; Yannakakis, Mihalis Optimization, approximation, and complexity classes. (English) Zbl 0765.68036 J. Comput. Syst. Sci. 43, No. 3, 425-440 (1991). Reviewer: I.Maros (Budapest) MSC: 68Q15 68Q25 PDFBibTeX XMLCite \textit{C. H. Papadimitriou} and \textit{M. Yannakakis}, J. Comput. Syst. Sci. 43, No. 3, 425--440 (1991; Zbl 0765.68036) Full Text: DOI
Abiteboul, Serge; Vianu, Victor Datalog extensions for database queries and updates. (English) Zbl 0764.68158 J. Comput. Syst. Sci. 43, No. 1, 62-124 (1991). MSC: 68T99 68P15 68Q55 68N17 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{V. Vianu}, J. Comput. Syst. Sci. 43, No. 1, 62--124 (1991; Zbl 0764.68158) Full Text: DOI
Beeri, Catriel; Kanellakis, Paris; Bancilhon, Francois; Ramakrishnan, Raghu Bounds in the propagation of selection into logic programs. (English) Zbl 0796.68054 J. Comput. Syst. Sci. 41, No. 2, 157-180 (1990). MSC: 68N17 68P15 68Q45 68N01 PDFBibTeX XMLCite \textit{C. Beeri} et al., J. Comput. Syst. Sci. 41, No. 2, 157--180 (1990; Zbl 0796.68054) Full Text: DOI
Atzeni, Paolo; de Bernardis, Maria Cristina A new interpretation for null values in the weak instance model. (English) Zbl 0694.68063 J. Comput. Syst. Sci. 41, No. 1, 25-43 (1990). MSC: 68P20 PDFBibTeX XMLCite \textit{P. Atzeni} and \textit{M. C. de Bernardis}, J. Comput. Syst. Sci. 41, No. 1, 25--43 (1990; Zbl 0694.68063) Full Text: DOI
Grandjean, Etienne First-order spectra with one variable. (English) Zbl 0694.68034 J. Comput. Syst. Sci. 40, No. 2, 136-153 (1990). MSC: 68Q25 68Q05 03D15 PDFBibTeX XMLCite \textit{E. Grandjean}, J. Comput. Syst. Sci. 40, No. 2, 136--153 (1990; Zbl 0694.68034) Full Text: DOI
Dechter, Rina Decomposing a relation into a tree of binary relations. (English) Zbl 0694.68019 J. Comput. Syst. Sci. 41, No. 1, 2-24 (1990). MSC: 68P05 68P20 68Q25 68R10 PDFBibTeX XMLCite \textit{R. Dechter}, J. Comput. Syst. Sci. 41, No. 1, 2--24 (1990; Zbl 0694.68019) Full Text: DOI
Sagiv, Yehoshua; Shmueli, Oded A characterization of finite fd-acyclicity. (English) Zbl 0688.68091 J. Comput. Syst. Sci. 38, No. 2, 380-404 (1989). MSC: 68P20 PDFBibTeX XMLCite \textit{Y. Sagiv} and \textit{O. Shmueli}, J. Comput. Syst. Sci. 38, No. 2, 380--404 (1989; Zbl 0688.68091) Full Text: DOI
Mannila, Heikki; Räihä, Kari-Jouko Automatic generation of test data for relational queries. (English) Zbl 0681.68124 J. Comput. Syst. Sci. 38, No. 2, 240-258 (1989). Reviewer: P.Eckhardt MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{H. Mannila} and \textit{K.-J. Räihä}, J. Comput. Syst. Sci. 38, No. 2, 240--258 (1989; Zbl 0681.68124) Full Text: DOI
Barrington, David A. Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\). (English) Zbl 0667.68059 J. Comput. Syst. Sci. 38, No. 1, 150-164 (1989). Reviewer: Ch.Meinel MSC: 68Q25 68Q05 20F10 PDFBibTeX XMLCite \textit{D. A. Barrington}, J. Comput. Syst. Sci. 38, No. 1, 150--164 (1989; Zbl 0667.68059) Full Text: DOI
Ausiello, Giorgio; D’Atri, Alessandro Chordality properties on graphs and minimal conceptual connections in semantic data models. (English) Zbl 0625.68076 J. Comput. Syst. Sci. 33, 179-202 (1986). MSC: 68P20 68P05 68R10 PDFBibTeX XMLCite \textit{G. Ausiello} and \textit{A. D'Atri}, J. Comput. Syst. Sci. 33, 179--202 (1986; Zbl 0625.68076) Full Text: DOI
Mannila, Heikki; Räiha, Kari-Jouko Design by example: An application of Armstrong relations. (English) Zbl 0625.68075 J. Comput. Syst. Sci. 33, 126-141 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{H. Mannila} and \textit{K.-J. Räiha}, J. Comput. Syst. Sci. 33, 126--141 (1986; Zbl 0625.68075) Full Text: DOI Link
Abiteboul, Serge; Bidoit, Nicole Non first normal form relations: An algebra allowing data restructuring. (English) Zbl 0625.68074 J. Comput. Syst. Sci. 33, 361-393 (1986). MSC: 68P20 PDFBibTeX XMLCite \textit{S. Abiteboul} and \textit{N. Bidoit}, J. Comput. Syst. Sci. 33, 361--393 (1986; Zbl 0625.68074) Full Text: DOI Link
Cosmadakis, Stavros S.; Kanellakis, Paris C. Partition semantics for relations. (English) Zbl 0625.68073 J. Comput. Syst. Sci. 33, 203-233 (1986). MSC: 68P20 06B25 PDFBibTeX XMLCite \textit{S. S. Cosmadakis} and \textit{P. C. Kanellakis}, J. Comput. Syst. Sci. 33, 203--233 (1986; Zbl 0625.68073) Full Text: DOI
Graham, Marc H.; Yannakakis, Mihalis Independent database schemas. (English) Zbl 0603.68099 J. Comput. Syst. Sci. 28, 121-141 (1984). MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{M. H. Graham} and \textit{M. Yannakakis}, J. Comput. Syst. Sci. 28, 121--141 (1984; Zbl 0603.68099) Full Text: DOI
Vardi, Moshe Y. The implication and finite implication problems for typed template dependencies. (English) Zbl 0586.68084 J. Comput. Syst. Sci. 28, 3-28 (1984). MSC: 68P20 PDFBibTeX XMLCite \textit{M. Y. Vardi}, J. Comput. Syst. Sci. 28, 3--28 (1984; Zbl 0586.68084) Full Text: DOI
Casanova, Marco A.; Fagin, Ronald; Papadimitriou, Christos H. Inclusion dependencies and their interaction with functional dependencies. (English) Zbl 0586.68082 J. Comput. Syst. Sci. 28, 29-59 (1984). MSC: 68P20 PDFBibTeX XMLCite \textit{M. A. Casanova} et al., J. Comput. Syst. Sci. 28, 29--59 (1984; Zbl 0586.68082) Full Text: DOI
Zaniolo, Carlo Database relations with null values. (English) Zbl 0579.68053 J. Comput. Syst. Sci. 28, 142-166 (1984). Reviewer: D.Maier MSC: 68P20 68P05 03E20 PDFBibTeX XMLCite \textit{C. Zaniolo}, J. Comput. Syst. Sci. 28, 142--166 (1984; Zbl 0579.68053) Full Text: DOI
Goodman, Nathan; Shmueli, Oded The tree projection theorem and relational query processing. (English) Zbl 0571.68086 J. Comput. Syst. Sci. 28, 60-79 (1984). MSC: 68P20 PDFBibTeX XMLCite \textit{N. Goodman} and \textit{O. Shmueli}, J. Comput. Syst. Sci. 28, 60--79 (1984; Zbl 0571.68086) Full Text: DOI
Johnson, D. S.; Klug, A. Testing containment of conjunctive queries under functional and inclusion dependencies. (English) Zbl 0563.68081 J. Comput. Syst. Sci. 28, 167-189 (1984). Reviewer: E.Tschernoster MSC: 68P20 PDFBibTeX XMLCite \textit{D. S. Johnson} and \textit{A. Klug}, J. Comput. Syst. Sci. 28, 167--189 (1984; Zbl 0563.68081) Full Text: DOI
Goodman, Nathan; Shmueli, Oded; Tay, Y. C. GYO reductions, canonical connections, tree and cyclic schemas, and tree projections. (English) Zbl 0552.68083 J. Comput. Syst. Sci. 29, 338-358 (1984). MSC: 68P20 PDFBibTeX XMLCite \textit{N. Goodman} et al., J. Comput. Syst. Sci. 29, 338--358 (1984; Zbl 0552.68083) Full Text: DOI
Hull, Richard Acyclic join dependency and data base projections. (English) Zbl 0549.68092 J. Comput. Syst. Sci. 27, 331-349 (1983). Reviewer: D.Maier MSC: 68P20 68P05 PDFBibTeX XMLCite \textit{R. Hull}, J. Comput. Syst. Sci. 27, 331--349 (1983; Zbl 0549.68092) Full Text: DOI
Chandra, Ashok; Harel, David Structure and complexity of relational queries. (English) Zbl 0511.68073 J. Comput. Syst. Sci. 25, 99-128 (1982). MSC: 68P20 03C13 68Q25 68P05 PDFBibTeX XMLCite \textit{A. Chandra} and \textit{D. Harel}, J. Comput. Syst. Sci. 25, 99--128 (1982; Zbl 0511.68073) Full Text: DOI
Immerman, Neil Upper and lower bounds for first order expressibility. (English) Zbl 0503.68032 J. Comput. Syst. Sci. 25, 76-98 (1982). MSC: 68Q25 03D15 68Q05 PDFBibTeX XMLCite \textit{N. Immerman}, J. Comput. Syst. Sci. 25, 76--98 (1982; Zbl 0503.68032) Full Text: DOI
Immerman, Neil Number of quantifiers is better than number of tape cells. (English) Zbl 0486.03019 J. Comput. Syst. Sci. 22, 384-406 (1981). MSC: 03D15 03D10 PDFBibTeX XMLCite \textit{N. Immerman}, J. Comput. Syst. Sci. 22, 384--406 (1981; Zbl 0486.03019) Full Text: DOI Link
Fagin, Ronald Asymptotic miss ratios over independent references. (English) Zbl 0355.60009 J. Comput. Syst. Sci. 14, 222-250 (1977). MSC: 60C05 60E05 60F99 68Q25 68P20 PDFBibTeX XMLCite \textit{R. Fagin}, J. Comput. Syst. Sci. 14, 222--250 (1977; Zbl 0355.60009) Full Text: DOI