Results 11 to 20 of about 287,498 (311)

Tractable Circuits in Database Theory [PDF]

open access: yesACM SIGMOD Record
This work reviews how database theory uses tractable circuit classes from knowledge compilation. We present relevant query evaluation tasks, and notions of tractable circuits. We then show how these tractable circuits can be used to address database tasks.
Amarilli, Antoine, Capelli, Florent
openaire   +5 more sources

Database Theory + X: Database Visualization [PDF]

open access: yesCoRR
We draw a connection between data modeling and visualization, namely that a visualization specification defines a mapping from database constraints to visual representations of those constraints. Using this formalism, we show how many visualization design decisions are, in fact, data modeling choices and extend data visualization from single-dataset ...
Wu, Eugene
openaire   +3 more sources

Database Theory, Yuri, and Me [PDF]

open access: yes, 2010
Yuri Gurevich made many varied and deep contributions to logic for computer science. Logic provides also the theoretical foundation of database systems. Hence, it is almost unavoidable that Gurevich made some great contributions to database theory.
VAN DEN BUSSCHE, Jan
openaire   +3 more sources

Networked Heritage Management in the Lower Guadalquivir (Spain)

open access: yesHeritage, 2023
This paper describes the operations carried out to generate a georeferenced heritage inventory at a supra-municipal scale. The tool establishes links between its heritage elements based on the features and characteristics of the territory.
Marina López Sánchez   +1 more
doaj   +1 more source

On a theory of probabilistic deductive databases [PDF]

open access: yesTheory and Practice of Logic Programming, 2001
We propose a framework for modeling uncertainty where both belief and doubt can be given independent, first-class status. We adopt probability theory as the mathematical formalism for manipulating uncertainty. An agent can express the uncertainty in her knowledge about a piece of information in the form of a confidence level, consisting of a pair of ...
LAKSHMANAN, LVS, SADRI, F
openaire   +4 more sources

A formal model for ledger management systems based on contracts and temporal logic

open access: yesBlockchain: Research and Applications, 2022
A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test.
Paolo Bottoni   +2 more
doaj   +1 more source

Data Governance Framework in Data Exchange Centers [PDF]

open access: yesعلوم و فنون مدیریت اطلاعات
Purpose: Data governance frameworks have typically been discussed within the confines of an organization, with less focus on inter-organizational contexts.
Mohamadreza Mortazavi   +2 more
doaj   +1 more source

THE PROBLEM OF FEATURE EXTRACTION OF CONCEPTS IN ONTOLOGICAL MODELING OF SUBJECT AREA

open access: yesОткрытое образование (Москва), 2016
This article attempts to combining scientific knowledge in a logical theory and concepts of database theory in terms of determining the essential features of concepts (entities) and their properties.
Denis V. Vlasov
doaj   +1 more source

Towards a Hybrid Immune Algorithm Based on Danger Theory for Database Security

open access: yesIEEE Access, 2020
In Databases, the most prevalent cause of data breaches comes from insiders who misuse their account privileges. Due to the difficulty of discovering such breaches, an adaptive, accurate, and proactive database security strategy is required.
Wael Said, Ayman Mohamed Mostafa
doaj   +1 more source

Constraint processing in relational database systems: From theory to implementation [PDF]

open access: yes, 2010
Constraint satisfaction problems (CSP) are frequently solved over data residing in relational database systems. In such scenarios, the database is typically just used as a data storage back end. However, there exist important advantages, such as the wide
Zhang, Hantao   +9 more
core   +1 more source

Home - About - Disclaimer - Privacy