Results 21 to 30 of about 10,898,978 (363)
Trade-offs in Static and Dynamic Evaluation of Hierarchical Queries [PDF]
Logical Methods in Computer Science, 2023 We investigate trade-offs in static and dynamic evaluation of hierarchical queries with arbitrary free variables. In the static setting, the trade-off is between the time to partially compute the query result and the delay needed to enumerate its tuples.
Ahmet Kara +3 more
doaj +1 more source
Enumerating Answers to First-Order Queries over Databases of Low Degree [PDF]
Logical Methods in Computer Science, 2022 A class of relational databases has low degree if for all $\delta>0$, all but finitely many databases in the class have degree at most $n^{\delta}$, where $n$ is the size of the database.
Arnaud Durand +2 more
doaj +1 more source
Constantin Gaindric -- 80th anniversary [PDF]
Computer Science Journal of Moldova, 2021 On September 11, 2021 Prof. Constantin Gaindric turns 80! This age does not track in any way with this person when you look at him.
The Editorial Board of Computer Science Journal of Moldova
doaj
When Can We Answer Queries Using Result-Bounded Data Interfaces? [PDF]
Logical Methods in Computer Science, 2022 We consider answering queries on data available through access methods, that provide lookup access to the tuples matching a given binding. Such interfaces are common on the Web; further, they often have bounds on how many results they can return, e.g ...
Antoine Amarilli, Michael Benedikt
doaj +1 more source
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games [PDF]
Logical Methods in Computer Science, 2020 We study multiplayer quantitative reachability games played on a finite directed graph, where the objective of each player is to reach his target set of vertices as quickly as possible.
Thomas Brihaye +4 more
doaj +1 more source
Engaging Equity Pedagogies in Computer Science Learning Environments
Journal of Computer Science Integration, 2020 In this position paper, we advocate for the use of equity-focused teaching and learning as an essential practice within computer science classrooms. We provide an overview of the theoretical underpinnings of various equity pedagogies (Banks & Banks, 1995)
Tia c. Madkins +2 more
semanticscholar +1 more source
Threats of a replication crisis in empirical computer science
Communications of the ACM, 2020 Research replication only works if there is confidence built into the results.
A. Cockburn +3 more
semanticscholar +1 more source
Efficient Evaluation of Arbitrary Relational Calculus Queries [PDF]
Logical Methods in Computer Science, 2023 The relational calculus (RC) is a concise, declarative query language. However, existing RC query evaluation approaches are inefficient and often deviate from established algorithms based on finite tables used in database management systems.
Martin Raszyk +3 more
doaj +1 more source
Parity and Streett Games with Costs [PDF]
Logical Methods in Computer Science, 2014 We consider two-player games played on finite graphs equipped with costs on edges and introduce two winning conditions, cost-parity and cost-Streett, which require bounds on the cost between requests and their responses.
Nathanaël Fijalkow, Martin Zimmermann
doaj +1 more source
Robustness against Read Committed for Transaction Templates with Functional Constraints [PDF]
Logical Methods in Computer Science, 2023 The popular isolation level Multiversion Read Committed (RC) trades some of the strong guarantees of serializability for increased transaction throughput.
Brecht Vandevoort +3 more
doaj +1 more source