-
1
-
-
0019058623
-
On the membership problem for functional and multivalued dependencies in relational databases
-
C. Beeri, On the membership problem for functional and multivalued dependencies in relational databases, ACM Trans. on Database Systems 5(3) (1980), 241-259.
-
(1980)
ACM Trans. on Database Systems
, vol.5
, Issue.3
, pp. 241-259
-
-
Beeri, C.1
-
3
-
-
0031198976
-
Logical settings for concept-learning
-
L. De Raedt, Logical settings for concept-learning, Artificial Intelligence 95(1) (1997), 187-201.
-
(1997)
Artificial Intelligence
, vol.95
, Issue.1
, pp. 187-201
-
-
De Raedt, L.1
-
4
-
-
0042304836
-
Learning and inductive inference
-
P. Cohen and E.A. Feigenbaum, eds, William Kaufmann
-
T.G. Dietterich, B. London, K. Clarkson and G. Dromey, Learning and inductive inference, in: Handbook of Artificial Intelligence, Vol. III, P. Cohen and E.A. Feigenbaum, eds, William Kaufmann, 1982.
-
(1982)
Handbook of Artificial Intelligence
, vol.3
-
-
Dietterich, T.G.1
London, B.2
Clarkson, K.3
Dromey, G.4
-
5
-
-
0020191157
-
Horn clauses and database dependencies
-
R. Fagin, Horn clauses and database dependencies, J. ACM 29 (1982), 952-985.
-
(1982)
J. ACM
, vol.29
, pp. 952-985
-
-
Fagin, R.1
-
6
-
-
1642605500
-
Inductive characterisation of database relations
-
Z.W. Ras, M. Zemankowa and M.L. Emrich, eds, North-Holland, Amsterdam
-
P.A. Flach, Inductive characterisation of database relations, in: Proc. Fifth Int. Symposium on Methodologies for Intelligent Systems ISMIS '90, Z.W. Ras, M. Zemankowa and M.L. Emrich, eds, North-Holland, Amsterdam, 1990, pp. 371-378. Also ITK Research Report No. 23, Tilburg University.
-
(1990)
Proc. Fifth Int. Symposium on Methodologies for Intelligent Systems ISMIS '90
, pp. 371-378
-
-
Flach, P.A.1
-
7
-
-
1642636583
-
-
Tilburg University
-
P.A. Flach, Inductive characterisation of database relations, in: Proc. Fifth Int. Symposium on Methodologies for Intelligent Systems ISMIS '90, Z.W. Ras, M. Zemankowa and M.L. Emrich, eds, North-Holland, Amsterdam, 1990, pp. 371-378. Also ITK Research Report No. 23, Tilburg University.
-
ITK Research Report No. 23
, vol.23
-
-
-
8
-
-
85028883412
-
Predicate invention in Inductive Data Engineering
-
Proc. European Conference on Machine Learning ECML '93, P. Brazdil, ed., Springer-Verlag
-
P.A. Flach, Predicate invention in Inductive Data Engineering, in: Proc. European Conference on Machine Learning ECML '93, P. Brazdil, ed., Lecture Notes in Artificial Intelligence 667, Springer-Verlag, 1993, pp. 83-94.
-
(1993)
Lecture Notes in Artificial Intelligence
, vol.667
, pp. 83-94
-
-
Flach, P.A.1
-
10
-
-
84874506655
-
Normal forms for Inductive Logic Programming
-
Proc. International Workshop on Inductive Logic Programming ILP '97, N. Lavrač and S. Džeroski, eds, Springer-Verlag
-
P.A. Flach, Normal forms for Inductive Logic Programming, in: Proc. International Workshop on Inductive Logic Programming ILP '97, N. Lavrač and S. Džeroski, eds, Lecture Notes in Artificial Intelligence 1297, Springer-Verlag, 1997, pp. 149-156.
-
(1997)
Lecture Notes in Artificial Intelligence
, vol.1297
, pp. 149-156
-
-
Flach, P.A.1
-
11
-
-
0021444827
-
Logic and databases: A deductive approach
-
H. Gallaire, J. Minker and J.-M. Nicolas, Logic and databases: a deductive approach, Computing Surveys 16(2) (1984), 153-185.
-
(1984)
Computing Surveys
, vol.16
, Issue.2
, pp. 153-185
-
-
Gallaire, H.1
Minker, J.2
Nicolas, J.-M.3
-
12
-
-
38249038063
-
Subsumption and implication
-
G. Gottlob, Subsumption and implication, Inf. Proc. Letters 24 (1987), 109-111.
-
(1987)
Inf. Proc. Letters
, vol.24
, pp. 109-111
-
-
Gottlob, G.1
-
13
-
-
0025523279
-
Investigations on armstrong relations, dependency inference, and excluded functional dependencies
-
G. Gottlob and L. Libkin, Investigations on armstrong relations, dependency inference, and excluded functional dependencies, Acta Cybernetica 9(4) (1990), 385-402.
-
(1990)
Acta Cybernetica
, vol.9
, Issue.4
, pp. 385-402
-
-
Gottlob, G.1
Libkin, L.2
-
14
-
-
0013338334
-
-
Report C-1997-79, Dept. of Computer Science, University of Helsinki
-
Y. Huhtala, J. Kärkkäinen, P. Porka and H. Toivonen, Efficient discovery of functional and approximate dependencies using partitions (extended version), Report C-1997-79, Dept. of Computer Science, University of Helsinki, 1997.
-
(1997)
Efficient Discovery of Functional and Approximate Dependencies Using Partitions (Extended Version)
-
-
Huhtala, Y.1
Kärkkäinen, J.2
Porka, P.3
Toivonen, H.4
-
15
-
-
0026916854
-
Discovering functional and inclusion dependencies in relational databases
-
M. Kantola, H. Mannila, K.-J. Räihä and H. Siirtola, Discovering functional and inclusion dependencies in relational databases, Int. Journal of Intelligent Systems 7 (1992), 591-607.
-
(1992)
Int. Journal of Intelligent Systems
, vol.7
, pp. 591-607
-
-
Kantola, M.1
Mannila, H.2
Räihä, K.-J.3
Siirtola, H.4
-
16
-
-
0029373303
-
Approximate inference of functional dependencies from relations
-
J. Kivinen and H. Mannila, Approximate inference of functional dependencies from relations, TCS 149(1) (1995), 129-149.
-
(1995)
TCS
, vol.149
, Issue.1
, pp. 129-149
-
-
Kivinen, J.1
Mannila, H.2
-
17
-
-
1642589871
-
Proof procedures for logic programming
-
D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds, Oxford University Press
-
D.W. Loveland and G. Nadathur, Proof procedures for logic programming, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 5, D.M. Gabbay, C.J. Hogger and J.A. Robinson, eds, Oxford University Press, 1998, pp. 163-234.
-
(1998)
Handbook of Logic in Artificial Intelligence and Logic Programming
, vol.5
, pp. 163-234
-
-
Loveland, D.W.1
Nadathur, G.2
-
21
-
-
0028377853
-
Algorithms for inferring functional dependencies from relations
-
H. Mannila and K.-J. Räihä, Algorithms for inferring functional dependencies from relations, Data & Knowledge Engineering 12 (1994), 83-99.
-
(1994)
Data & Knowledge Engineering
, vol.12
, pp. 83-99
-
-
Mannila, H.1
Räihä, K.-J.2
-
22
-
-
0008525078
-
On on algorithm for finding all interesting sentences
-
R. Trappl, ed.
-
H. Mannila and H. Toivonen, On on algorithm for finding all interesting sentences, in: Proc. Cybernetics and Systems '96, R. Trappl, ed., 1996, pp. 973-978.
-
(1996)
Proc. Cybernetics and Systems '96
, pp. 973-978
-
-
Mannila, H.1
Toivonen, H.2
-
27
-
-
0001602577
-
A note on inductive generalisation
-
B. Meltzer and D. Michie, eds, North-Holland
-
G. Plotkin, A note on inductive generalisation, in: Machine Intelligence 5, B. Meltzer and D. Michie, eds, North-Holland, 1970, pp. 153-163.
-
(1970)
Machine Intelligence
, vol.5
, pp. 153-163
-
-
Plotkin, G.1
-
28
-
-
0003203117
-
A further note on inductive generalisation
-
B. Meltzer and D. Michie, eds, North-Holland
-
G. Plotkin, A further note on inductive generalisation, in: Machine Intelligence 6, B. Meltzer and D. Michie, eds, North-Holland, 1971, pp. 101-124.
-
(1971)
Machine Intelligence
, vol.6
, pp. 101-124
-
-
Plotkin, G.1
-
29
-
-
0002363758
-
Towards a logical reconstruction of relational database theory
-
M.L. Brodie, J.A Mylopoulos and J.W. Schmidt, eds, Springer-Verlag, Berlin
-
R. Reiter, Towards a logical reconstruction of relational database theory, in: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming languages, M.L. Brodie, J.A Mylopoulos and J.W. Schmidt, eds, Springer-Verlag, Berlin, 1984, pp. 191-233.
-
(1984)
On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages
, pp. 191-233
-
-
Reiter, R.1
-
30
-
-
1642605501
-
Induction of functional dependencies from relations
-
Jožef Stefan Institute
-
I. Savnik, Induction of functional dependencies from relations, IJS Report 6681, Jožef Stefan Institute, 1993.
-
(1993)
IJS Report
, vol.6681
-
-
Savnik, I.1
-
31
-
-
0012155387
-
Bottom-up induction of functional dependencies from relations
-
G. Piatetsky-Shapiro, ed.
-
I. Savnik and P.A. Flach, Bottom-up induction of functional dependencies from relations, in: Proc. AAAI '93 Workshop on Knowledge Discovery in Databases, G. Piatetsky-Shapiro, ed., 1993, pp. 174-185.
-
(1993)
Proc. AAAI '93 Workshop on Knowledge Discovery in Databases
, pp. 174-185
-
-
Savnik, I.1
Flach, P.A.2
-
32
-
-
0013191271
-
Discovery of multivalued dependencies from relations
-
Jožef Stefan Institute, in preparation
-
I. Savnik and P.A. Flach, Discovery of multivalued dependencies from relations, Technical Report, Jožef Stefan Institute, in preparation.
-
Technical Report
-
-
Savnik, I.1
Flach, P.A.2
|