中文
相关论文

相关论文: Set-Theoretic Preliminaries for Computer Scientist…

200 篇论文

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that…

数据库 · 计算机科学 2020-09-30 Leopoldo Bertossi

Normalized relational databases are a common method for storing data, but pulling out usable denormalized data for consumption generally requires either direct access to the source data or creation of an appropriate view or table by a…

数据库 · 计算机科学 2020-10-02 Sareen Shah

As the twin movements of open science and open source bring an ever greater share of the scientific process into the digital realm, new opportunities arise for the meta-scientific study of science itself, including of data science and…

统计理论 · 数学 2020-06-17 Evan Patterson

Detecting and exploiting similarities between seemingly distant objects is without doubt an important human ability. This paper develops \textit{from the ground up} an abstract algebraic and qualitative notion of similarity based on the…

人工智能 · 计算机科学 2025-05-20 Christian Antić

These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced…

范畴论 · 数学 2024-04-22 Paolo Perrone

Structured Query Language (SQL) remains the standard language used in Relational Database Management Systems (RDBMSs) and has found applications in healthcare (patient registries), businesses (inventories, trend analysis), military,…

数据库 · 计算机科学 2022-03-08 George Obaido

Cooperative database systems support a database user by searching for answers that are closely related to his query and hence are informative answers. Common operators to relax the user query are Dropping Condition, Anti-Instantiation and…

数据库 · 计算机科学 2012-10-24 Lena Wiese

Sequential modelling entails making sense of sequential data, which naturally occurs in a wide array of domains. One example is systems that interact with users, log user actions and behaviour, and make recommendations of items of potential…

信息检索 · 计算机科学 2021-09-15 Christian Hansen

Spurred by a number of recent trends, we make the case that the relational database systems should urgently move beyond supporting the basic object-relational model and instead embrace a more abstract data model, specifically, the…

数据库 · 计算机科学 2025-05-07 Amol Deshpande

Lie systems form a class of systems of first-order ordinary differential equations whose general solutions can be described in terms of certain finite families of particular solutions and a set of constants, by means of a particular type of…

数学物理 · 物理学 2013-03-13 J. F. Cariñena , J. de Lucas

A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on…

数据库 · 计算机科学 2007-05-23 Marcelo Arenas , Leopoldo Bertossi , Jan Chomicki

This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems…

逻辑 · 数学 2007-05-23 Saharon Shelah

Financial transactions, internet search, and data analysis are all placing increasing demands on databases. SQL, NoSQL, and NewSQL databases have been developed to meet these demands and each offers unique benefits. SQL, NoSQL, and NewSQL…

数据库 · 计算机科学 2018-12-17 Hayden Jananthan , Ziqi Zhou , Vijay Gadepally , Dylan Hutchison , Suna Kim , Jeremy Kepner

A linking system of difference sets is a collection of mutually related group difference sets, whose advantageous properties have been used to extend classical constructions of systems of linked symmetric designs. The central problems are…

组合数学 · 数学 2018-04-23 Jonathan Jedwab , Shuxing Li , Samuel Simon

The aim of the present paper is to generalize the concept of residuated poset, by replacing the usual partial ordering by a generic binary relation, giving rise to relational systems which are residuated. In particular, we modify the…

逻辑 · 数学 2020-04-20 Stefano Bonzio , Ivan Chajda

Recent neural text-to-SQL models can effectively translate natural language questions to corresponding SQL queries on unseen databases. Working mostly on the Spider dataset, researchers have proposed increasingly sophisticated solutions to…

计算与语言 · 计算机科学 2021-09-14 Torsten Scholak , Raymond Li , Dzmitry Bahdanau , Harm de Vries , Chris Pal

Representations are essential to mathematically model phenomena, but there are many options available. While each of those options provides useful properties with which to solve problems related to the phenomena in study, comparing results…

计算机科学中的逻辑 · 计算机科学 2025-10-01 Luke Bayzid , Alexandre Madeira , Manuel A. Martins

Robust preparation of future secondary mathematics teachers requires attention to the acquisition of mathematical knowledge for teaching. Many future teachers learn mathematics content primarily through mathematics major courses that are…

In this paper we introduce the SchemaDB data-set; a collection of relational database schemata in both sql and graph formats. Databases are not commonly shared publicly for reasons of privacy and security, so schemata are not available for…

数据库 · 计算机科学 2025-05-30 Cody James Christopher , Kristen Moore , David Liebowitz

In view of the paradigm shift that makes science ever more data-driven, in this paper we consider deterministic scientific hypotheses as uncertain data. In the form of mathematical equations, hypotheses symmetrically relate aspects of the…

数据库 · 计算机科学 2014-11-20 Bernardo Gonçalves , Fabio Porto