Results 11 to 20 of about 10,839,512 (369)
Rewriting with Acyclic Queries: Mind Your Head [PDF]
Logical Methods in Computer Science, 2023 The paper studies the rewriting problem, that is, the decision problem whether, for a given conjunctive query $Q$ and a set $\mathcal{V}$ of views, there is a conjunctive query $Q'$ over $\mathcal{V}$ that is equivalent to $Q$, for cases where the query,
Gaetano Geck +3 more
doaj +1 more source
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
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
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
Opportunities and challenges in using AI Chatbots in Higher Education [PDF]
, 2019 Artificial intelligence (AI) conversational chatbots have gained popularity over time, and have been widely used in the fields of e-commerce, online banking, and digital healthcare and well-being, among others. The technology has the potential to provide
Evans, Chris +1 more
core +1 more source