Results 11 to 20 of about 171,909 (299)
Dynamic Dependency Pairs for Algebraic Functional Systems [PDF]
Logical Methods in Computer Science, 2012 We extend the higher-order termination method of dynamic dependency pairs to Algebraic Functional Systems (AFSs). In this setting, simply typed lambda-terms with algebraic reduction and separate {\beta}-steps are considered.
Cynthia Kop, Femke van Raamsdonk
doaj +4 more sources
Differential effects of premorbid functional dependency on mortality in patients with anterior and posterior circulation stroke [PDF]
Journal of Neurocritical CareBackground This study investigated the impact of premorbid functional dependency on post-stroke mortality in patients with anterior circulation stroke (ACS) and posterior circulation stroke (PCS).
Min-Surk Kye +12 more
doaj +3 more sources
Functional capacity and dependency in transfer and dressing are associated with depressive symptoms in older people [PDF]
Clinical Interventions in Aging, 2014 Gustaf Boström,1 Mia Conradsson,1 Erik Rosendahl,1,2 Peter Nordström,1 Yngve Gustafson,1 Håkan Littbrand1,21Department of Community Medicine and Rehabilitation, Geriatric Medicine, Umeå University, Umeå, Sweden; 2Department of
Boström G +6 more
doaj +1 more source
The Budget-Constrained Functional Dependency [PDF]
CoRR, 2015 Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong's system for reasoning about budget-constrained functional dependencies in such ...
Pavel Naumov, Jia Tao 0001
openaire +3 more sources
Journal of Advanced Research in Natural and Applied Sciences, 2022 Relational database management systems have been used for storing data for a long time.However, these systems are insufficient to analyze the large and complex structure of the data.
Ramazan Altın, A. Cumhur Kınacı
doaj +1 more source
A Method for Solving Quasi-Identifiers of Single Structured Relational Data
IEEE Access, 2021 Quasi-identifier is a set of attributes used to identify the specific entity in structured data, which can provide an inference path for query attacks.
Yi Hua +3 more
doaj +1 more source
Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! [PDF]
ACM SIGPLAN Notices, 2017 Functional dependencies are a popular extension to Haskell's type-class system because they provide fine-grained control over type inference, resolve ambiguities and even enable type-level computations. Unfortunately, several aspects of Haskell's functional dependencies are ill-understood.
Karachalias, Georgios, Schrijvers, Tom
openaire +1 more source
Adverse Life Events: Do Home Care Clients Have Resources for Mastering Them?
Frontiers in Medicine, 2021 Objectives: Research on life stressors and adverse life events has a long tradition. Few studies have addressed this topic in connection to very old people.
Vjenka Garms-Homolová +5 more
doaj +1 more source
An Efficient and Scalable Algorithm to Mine Functional Dependencies from Distributed Big Data
Sensors, 2022 A crucial step in improving data quality is to discover semantic relationships between data. Functional dependencies are rules that describe semantic relationships between data in relational databases and have been applied to improve data quality ...
Wanqing Wu, Wenyu Mao
doaj +1 more source
A Simple Logic of Functional Dependence [PDF]
Journal of Philosophical Logic, 2021 AbstractThis paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atoms plus dependence quantifiers treated as modalities, within the setting of generalized assignment semantics for first order logic.
Baltag, A., van Benthem, J.
openaire +5 more sources