Structure and complexity of relational queries

From MaRDI portal
Publication:1838840

DOI10.1016/0022-0000(82)90012-5zbMath0511.68073OpenAlexW1984890936MaRDI QIDQ1838840

David Harel, Ashok K. Chandra

Publication date: 1982

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(82)90012-5




Related Items (only showing first 100 items - show all)

Finite Variable Logics in Descriptive Complexity TheoryExpressive power and succinctness of the positive calculus of binary relationsGeneralized quantifiers and pebble games on finite structuresMultiple total stable models are definitely needed to solve unique solution problemsParallel complexity of logical query programsNon-determinism in logic-based languagesCanonization for two variables and puzzles on the squareThe expressive powers of stable models for bound and unbound DATALOG queriesDirections in generalized quantifier theoryRole of determinism in query languages for data basesThe complexity of query evaluation in indefinite temporal constraint databasesComputable functions in tabular databasesHow to define a linear order on finite modelsEuropean Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987Dyn-FO: A parallel, dynamic complexity classQuery languages for bags and aggregate functionsFinitely representable databasesThe expressive power of unique total stable model semanticsHierarchies in transitive closure logic, stratified Datalog and infinitary logicPolynomial-time computable stable modelsAn alternative way to represent the cogroup of a relation in the context of nested databasesCircumscribing DATALOG: expressive power and complexityMeeting of the Association for Symbolic Logic, Stanford, California, 1985Complexity and undecidability results for logic programmingReachability is harder for directed than for undirected finite graphsBounds for the Quantifier Depth in Finite-Variable LogicsA probabilistic view of Datalog parallelizationQueries with arithmetical constraintsBounded fixpoints for complex objectsSemantics and complexity of abduction from default theoriesOn the Descriptive Complexity of Linear AlgebraClassifying the computational complexity of problemsFirst-order spectra with one variableA note on fixpoint techniques in data base recursive logic programsBisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus0-1 laws and decision problems for fragments of second-order logicOn the representation and querying of sets of possible worldsInfinitary logics and very sparse random graphsDatalog extensions for database queries and updatesWhy not negation by fixpoint?On the expressive power of database queries with intermediate typesComputing on structuresA comparison between algebraic query languages for flat and nested databasesAn analysis of the Core-ML language: Expressive power and type reconstructionAn analysis of fixed-point queries on binary treesThe expressive power of the bounded-iteration constructThe expressiveness of a family of finite set languagesPrinciples of programming with complex objects and collection typesComputing with infinitary logicA simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programsOn the equivalence of recursive and nonrecursive Datalog programsKnowledgebase transformationsReusing and modifying rulebases by predicate substitutionThe invariant problem for binary string structures and the parallel complexity theory of queriesEquivalence of the relational algebra and calculus for nested relationsUnnamed ItemImplicit definability and infinitary logic in finite model theoryCapturing complexity classes by fragments of second-order logicThe functional dimension of inductive definitionsInfinitary logics and 0-1 lawsThe powerset algebra as a natural tool to handle nested database relationsAlgebraic and calculus query languages for recursively typed complex objectsThe alternating fixpoint of logic programs with negationFinite-model theory -- A personal perspectiveOn the complexity of queries in the logical data modelQuery languages for hierarchic databasesThe parallel complexity of single rule logic programsAn optimal lower bound on the number of variables for graph identificationNumber of variables is equivalent to spaceThe Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint DatabasesDatabase Theory, Yuri, and MeOn Complete Problems, Relativizations and Logics for Complexity ClassesA Logic for PTIME and a Parameterized Halting ProblemFixed-Point Definability and Polynomial Time on Chordal Graphs and Line GraphsChoiceless Computation and SymmetryQuerying logical databasesComparison of expressive power of some query languages for databasesRecursive query processing: The power of logicBounds in the propagation of selection into logic programsNegation in rule-based database languages: A surveyOn winning strategies in Ehrenfeucht-Fraïssé gamesLogical Foundations of XML and XQueryAn extension of fixpoint logic with a symmetry-based choice constructReflective relational machinesA restricted second order logic for finite structuresExpressive power and complexity of partial models for disjunctive deductive databasesFixed-Point Definability and Polynomial TimeArity bounds in first-order incremental evaluation and definition of polynomial time database queriesFixpoint strategies for deductive databasesArity hierarchiesAlmost Everywhere Equivalence of Logics in Finite Model TheoryA generalized closure and complement phenomenonComplexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).Adding for-loops to first-order logicHereditarily-finite sets, data bases and polynomial-time computabilityThe expressive power of stratified logic programsFunctional queries in datalogProgram schemes, arrays, Lindström quantifiers and zero-one lawsSome thoughts on computational models: from massive human computing to abstract state machines, and beyondComputation on structures. Behavioural theory, logic, complexity



Cites Work


This page was built for publication: Structure and complexity of relational queries