Extending RDBMS for allowing Fuzzy Quantified Queries
|
|
- Aubrey Rogers
- 8 years ago
- Views:
Transcription
1 Extending RDBMS for allowing Fuzzy uantified ueries Leonid José Tineo Rodríguez Departamento de Computación, Universidad Simón Bolívar Apartado 89000, Caracas 1080-A, Venezuela Phone: , Fax: leonid@ldc.usb.ve Abstract. This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminated answers. The use of flexible predicates and linguistic quantifiers interpreted in the framework of the fuzzy set theory is advocated for defining a query language, called SLf. This language extends the functionalities offered by SL and it is considered here from a query processing point of view. We concentrate this work in the fuzzy quantified SLf queries semantic and evaluation mechanism. Keywords: SLf, Fuzzy ueries, Fuzzy uantifiers, RDBMS extension, uery Evaluation. 1 Introduction It is often said that commercial DBMS suffer from a lack of flexibility (in many respects)[8,2], and despite the tremendous evolution of this research area in the last decade, imprecision has not been taken into account. In fact, a twofold hypothesis has been maintained nearly all the way long: data are assumed to be precisely known and queries are intended to retrieve elements that qualify for a given boolean condition. This paper concentrates on the second aspect of this hypothesis. In the context of regular relational databases (where data are precisely known), the objective is to provide users with new querying capabilities based on conditions which involve preferences and describe more or less acceptable items, thus defining flexible queries. Since the problem is no longer to decide whether an element satisfies (or not) a condition but rather the extent to which it satisfies this condition, one of' the advantages lies in the "natural" ordering of the answers (discrimination) which allows for calibration if desired. In the remainder of this paper, ordinary relational DBMS are considered. This means that data stored are not pervaded with imprecision and/or uncertainty and are assumed to be precisely known. In this context, several approaches for the expression of preferences inside user queries have been proposed in the literature. It has been shown in [1] that the solution founded on fuzzy sets for interpreting preferences is the most general one. A query language, called SLf, supporting fuzzy queries in the context of a relational data model has thus been proposed [2]. This query language is an extension of SL, which is a standard for database querying. There exist other extensions of SL proposed to flexible database querying[10,13,15], but SLf is the most complete and the only one that allows the expression of fuzzy quantified queries[11,17]. We present here the semantic of such queries according to an interpretation of fuzzy quantifiers appropriate to database querying[3,7]. An important point concerns the evaluation of such queries. In conventional DBMS, the problem of query evaluation remains somewhat open since given a query, in general the optimal evaluation way cannot be reached. For fuzzy queries the process becomes more complex for two reasons: i) the available access paths can not be directly used, and ii) a larger number of tuples is selected by fuzzy conditions with respect to boolean ones. In this context, it appears useful to understand the connections which exist between properties tied to boolean conditions and fuzzy ones, so that fuzzy query processing can come down to Boolean query processing (at least partly). An evaluation method, called derivation, exploiting such properties is described in [1,4,6]. The applicability of this method to the evaluation to SLf fuzzy quantified queries is discussed in this paper, as well as the integration of a derivation-based SLf query interface on top of a regular relational DBMS. The paper is organized as follows. Section 2 introduces the concept of fuzzy quantifiers and their classification. Section 3 presents the fuzzy quantifiers interpretarion for database querying. Section 4 is dedicated to a presentation of the fuzzy quantified statements in SLf. Section 5 is devoted to the use of the derivation method allowing for processing fuzzy quantified SLf queries. In section 6, we show how a query evaluation component based on this method can be added on top of a regular relational DBMS so that this system can deal with SLf queries. The conclusion summarizes the principal contributions of the paper and some future works are pointed out.
2 2 Fuzzy uantifiers uantifiers can be used to represent the amount of items satisfying a given predicate. Classic logic allows for the use of only two quantifiers, the universal, (for all), and existential, (exists), quantifiers. In an attempt to provide a more flexible knowledge representation tool, Zadeh[22] introduced the concept of linguistic quantifiers. In addition to two classic quantifiers, linguistic quantifiers are exemplified by terms such as "most", "a few", "about 5", "at least half". These linguistic quantifiers are represented as fuzzy sets. That s why they are called Fuzzy uantifiers. Two types of fuzzy quantifiers are distinguished: absolute and proportional. Absolute quantifiers represent amounts that are absolute in nature such as "about 5" or "more than 20". An absolute quantifier can be represented by a fuzzy subset, such that for any nonnegative real p R+ the membership grade of p in (denoted by (p)) indicates the degree to which the amount p is compatible with the quantifier represented by. Proportional quantifiers. such as "at least half" or "most", can be represented by fuzzy subsets of the unit interval, [0,1]. For any prportion p [0,1], (p) indicates the degree to which the proportion p is compatible with the meaning of the quantifier it is representing. Yager [21] has investigated a number of issues related to linguistic quantifiers. In [19,20] he provides a survey of some of their applications. Dubois and Prade(10) have also contributed to the development of these objects. Functionally, linguistic quantifiers are usually of one of three types, increasing, decreasing, and unimodal. Increasing quantifiers (as "at least n", "all", "most") are characterized by: a b for all a<b ( ) ( ) Decreasing quantifiers (as "a few", "at most n") are characterized by: a b for all a<b ( ) ( ) Unimodal quantifiers (as "about q") have the property that: For some c ( c) = 1 a b and ( ) ( ) for all a<b c and ( a) ( b) if c a<b 3 Fuzzy uantifiers Interpretation The interpretation of fuzzy quantifiers has received attention from several researchers [9,14,21,23,16]. In spite of the existence of several interpretations for fuzzy quantifiers, there is not one totally appropriate for database querying [11] and that can be evaluated in an efficient way[5,6]. It would be of supreme interest for the problem of Database Flexible uerying to get such an interpretation. We present an interpretation of fuzzy quantifiers that is a natural extension of quantifiers of classical logic. Our interpretation is based in a linguistic transformation principle. We make a translation of fuzzy quantified statements into statements using existential quantifier, conjunction and negation. Thereafter we will use the most common fuzzy interpretation of these operators for taking the linguistic quantifiers interpretation[17]. We are especially interested in quantified statements of the form X s ARE A (for short (X,A)), where is a quantifier represented as a fuzzy set, X is a regular set and A is a fuzzy predicate. Our special interest is due to the kind of fuzzy quantified queries to be studied in this work. However, we have also propose the interpretation for statements of the form B X s ARE A where B is a fuzzy predicate. We do not deal here with these statements because they are applicable to other kind of quantified queries that will be matter of future works. If is a increasing absolute quantifier, the satisfaction degree of the sentence (X,A) is: ( ( ) = ( ) i X, A min i sup ( x) i { 0.. X } sup, ( ) If is an increasing proportional quantifier, we have the satisfaction degree: sup, ( ( X A ) = i, min i X sup i { 0.. X } A ( ) ( ( x) ) If is a decreasing absolute quantifier, the satisfaction degree of the sentence (X,A) is: ( ( ) = ( ) i+ ( ( )) X A sup i 1 ( 3 ), min, x inf 1 A i { 0.. X } If is a decreasing proportional quantifier, we have the satisfaction degree: ( ( ) ( ) ( 4 ) X, A = sup min + i, i 1 inf ( 1 ( x)) X A i { 0 X } A ( 1 ) ( 2 )
3 If is an unimodal absolute quantifier, the satisfaction degree of the sentence (X,A) is: ( ) l ( ( )) sup min l, x sup, A l { 0.. X } ( ( )) X, A = min ( r) r+ 1 ( ( x) ) sup min, inf 1 A r { 0.. X } If is an unimodal proportional quantifier, we have the satisfaction degree: l ( ) l ( ( )) sup min { }, x X sup, A l 0 X ( ( ) X, A = min r ( ) r+ ( ( )) sup min, 1 x { } X inf 1 A r 0 X ( 5 ) ( 6 ) An evaluation method for fuzzy queries in SLf, called derivation, is described in [1,4,6]. This method exploits the existing connections between properties tied to regular conditions and fuzzy ones. Thus, the fuzzy query processing can come down to Boolean query processing (at least partly). The applicability of this method to simple queries and nesting in SLf (without fuzzy quantifiers) was discussed in [6]. However, it seems to be inapplicable to quantified statements with the previously known interpretations [6,17]. We will show later that with our interpretation this technique becomes applicable. That s the major contribution of this work. Regarding with previous interpretation for fuzzy quantified statements, our interpretation is comparable to that of Prade[14]. Our interpretation for sentences of the form X s ARE A is equivalent to the Possibility measure given by Prade s one for increasing quantifiers. And in case of decreasing quantifiers, our interpretation for sentences of the form X s ARE A is equivalent to the Prade s Necessity measure. Prade does not give an interpretation for unimodal quantifiers. There is also a similarity between our interpretation and that of Ralescu[16] for sentences of the form X s ARE A. But Ralescu gives an integer number for the cardinality and we give a fuzzy integer. 4 Fuzzy uantified ueries in SLf SL has been defined in the 70's in order to query relational databases in a non-procedural way, by means of simple and powerful constructs. This language has been extended in a straightforward manner to allow for flexible queries in which fuzzy predicates express preferences. This gave birth to the language called SLf [2], which has the same general philosophy as SL (as to querying features and syntax in particular) and offers new possibilities regarding flexible querying. In this section, we present the syntax of single-block partitioned queries with fuzzy quantifier, which constitute the kind of queries that we will consider in the following from an evaluation point of view. SLf has a construct for single-block partitioned queries with fuzzy quantifier, which has the following structure: SELECT <t> <A> FROM <R> GROUP BY <A> HAVING <> <fc>. where <t> is a threshold associated with the query (is optional), <A> is an attribute (or attribute list) of relations in <R>, <> is any fuzzy quantifier, <fc> represent a fuzzy condition. The semantics of this query is: The query returns the fuzzy relation Rf on {a / ( x R / x.a=a) and (((Xa,fc)) <t>) } with Rf (a)= ((Xa,fc)) Where Xa = {x R / x.a=a} Example 1 Let us consider the relation EMP(#emp, e-name, salary, job, age, #dep) describing employees where the attributes have their canonical meanings and its extension: #emp e-name Salary Job Age #dep 10 Martin 2000 K Calvin 1000 K Luther 1500 K Johnson 1200 K3 40 2
4 35 Smith 1000 K Peters 1200 K Anderson 1500 K Dobson 1000 K Mc Dowell 2000 K The query "Find the departments where most of the employees are about 40 years", with a threshold 0.5, may be expressed by: SELECT 0.5 #dep FROM Emp GROUP BY #dep HAVING MOST_OF age = About40. with "MOST_OF" a proportional quantifier whose characteristic function /6 1/3 1/2 2/3 5/6 1 About40 a fuzzy predicate with the characteristic function: The calculation of the result is shown in this table: #dep i i fc x (a) i #emp Age ( ) a ( ) i = sup i ( ) = (, ) Xa ( ) min i i ( Xa, fc) Finally, this query delivers the fuzzy relation #dep Membership degree Derivation Principle for SLf uantified ueries Beyond the language definition, an important issue concerns the processing of fuzzy queries. The strategy presented hereafter assumes that a threshold t is associated with a SLf query in order to retrieve only those tuples that satisfy the condition with a degree greater or equal to t. The idea advocated here [6] (which is not the only possible one) is to use an existing database management system that will process regular Boolean queries. An SL query is derived from the SLf expression in order to retrieve the t-cut. That is to say, the reagular set of tuples that satisfy the condition with a degree greater or equal to t. Then, the fuzzy query can be processed on this set thus avoiding the exhaustive scan of the whole database. Remark that the derived SL query is not equivlengt to the original SLf. The SL query delivers a regular set, while the result of the SLf query is a fuzzy set. The principle is to express the t-cut in terms of a query involving only regular operators and expressions. If the condition involves means operators as connectors, the derived boolean condition produces a superset of the t- cut. The efficiency of the transformation in simple queries has been studied in [4]. When the derivation produces a superset of the t-cut it is said that it is weak, when it produces exactly the t-cut is said that it is strong. The application of this principle to simple and compound predicates (without quantifiers) has been object of previous works [3,6]. Here we concentrate on the application of this principle to quantified queries.
5 Definition 1 Let s SELECT <t> <A> FROM <R> GROUP BY <A> HAVING fc be a fuzzy quantified query in SLf. The derived SL query for this query is: SELECT <A> FROM <R> WHERE DNWC( fc,,t) GROUP BY A HAVING DNHC( fc,,t). where DNWC( fc,,t) denotes the derived necessary condition for the WHERE clause and DNHC( fc,,t) denotes the derived necessary condition for the HAVING clause obtained from the initial condition " fc" in the HAVING clause. 5.1 Derivation of a quantified query We demonstrate the applicability of the derivation principle here for the case of increasing absolute quantifiers. Proposition 1 Let s be an increasing absolute fuzzy quantifier, fc a fuzzy condition SELECT <t> <A> FROM <R> GROUP BY <A> HAVING fc a fuzzy quantified query. Then DNWC( fc,,t) = DNC(fc,,t) DNHC( fc,,t) = (count(*) n) Where n is the lowest natural number such that (n) t Proof Let's Xa be the set of the partition of <R> group by <A> for the value a of <A> That is: Xa = {x in R / x.a=a} ((Xa,fc)) <t> sup ({min( (i),i-sup { fc (x)/x in Xa}) / i in 0.. Xa }) <t> Let's n be the lowest natural number such that (n) t then, as is increasing: for all i in 0..n-1 min( (i),i-sup { fc (x)/x in Xa}) < <t> and for all i in n.. Xa min( (i),i-sup { (x)/x in Xa}) <t> i-sup { fc (x)/x in Xa} <t> Now we have: ((Xa,fc)) <t> sup ({min( (i),i-sup { fc (x)/x in Xa}) / i in n.. Xa }) <t> {x in Xa / fc (x) <t>} n {x in R / fc (x) <t> and x.a=a} n Thus we have: DNWC( fc,,t) = DNC(fc,,t) DNHC( fc,,t) = (count(*) n) Example 2 If we want to find "The departments where at least about 10 employees are about 40 years", with a threshold 0.5, we write the SLf statement: SELECT 0.5 #dep FROM Emp GROUP BY #dep HAVING AtLeastAbout10 (age~40). with About40 as in Example 1 and "AtLeastAbout10" a fuzzy quantifier whose characteristic function is An age a satisfy About40 with a threshold 0.5 iff 37.5 a 42.5 The lowest n such that AtLeastAbout10(n) 0.5 is n=9
6 So DNWC(AtLeastAbout10 (age=about40),,0.5) = DNC(age=About40,,0.5) = 37.5 age AND age 42.5 DNHC(AtLeastAbout10 (age=about40),,0.5) = count(*) 9 The derived SL query is: SELECT #dep FROM Emp WHERE 37.5<=age AND age<=42.5 GROUP BY #dep HAVING count(*) Summary of the derivation for diverse quantifiers Proposition 2 Let s be a fuzzy quantifier, fc a fuzzy condition SELECT <t> <A> FROM <R> R 1 GROUP BY <A> HAVING fc a fuzzy quantified query (R 1 is an alias for R). If is Absolute Let s l be the minimum value such that (l) t, r be the maximum value such that (r) t If is Increasing then: DNWC( fc,,t) = DNC(fc,,t) DNHC( fc,,t) = (count(*) l) If is Decreasing then: DNWC( fc,,t) = DNC(fc,,1-t) DNHC( fc,,t) = (count(*)+r SELECT count * FROM R WHERE A=R 1.A) If is Unimodal then: DNWC( fc,,t) = TRUE DNHC( fc,,t) = (l SELECT count * FROM R WHERE A=R 1.A AND DNC(fc,,t)) AND (r SELECT count * FROM R WHERE A=R 1.A AND DSC(fc,>,1-t)) If is Proportional Let s q l be the minimum value such that (q l ) t, q r be the maximum value such that (q r ) t If is Increasing then: DNWC( fc,,t) = DNC(fc,,t) DNHC( fc,,t) = (count(*)/q l ) SELECT count * FROM R WHERE A=R 1.A If is Decreasing then: DNWC( fc,,t) = DNC(fc,,1-t) DNWC( fc,,t) = ((count(*)/(1-q r )) SELECT count * FROM R WHERE A=R 1.A) If is Unimodal then: DNWC( fc,,t) = TRUE DNHC( fc,,t) = (count(*)*q l SELECT count * FROM R WHERE A=R 1.A AND DNC(fc,,t)) AND (count(*)*q r SELECT count * FROM R WHERE A=R 1.A AND DSC(fc,>,t)) The demonstration of this proposition for the application of the derivation principle to all type of fuzzy quantifiers is similar to the prove of proposition 1. We don't present it here for space reasons, see [17] for details. 6 Evaluation of Fuzzy uantified ueries on top of a RDBMS We present here an evaluation mechanism based in the derivation principle. It is then possible to use an existing relational DBMS to process the derived query. In so doing, one can expect to take advantage of the implementation mechanisms handled by the DBMS to reach acceptable performances. 6.1 Architecture The presented architecture is strongly connected with the derivation method since it implies a query transformation step. In fact, the problem is a bit more complex since the derived query provides a usual (crisp) relation whereas we want to obtain a fuzzy relation, i.e., a relation containing weighted tuples. The computation of the final membership degrees can be performed by the DBMS during the processing of the derived SL query if the system allows for the inclusion of external functions in the query. If this is not the case, the degrees
7 must be computed by means of an external procedural program. We will make this assumption in the following, for the sake of generality. Fuzzy query processing reduces mainly to a transformation procedure located on top of an existing DBMS according to the architecture proposed, which should keep the development effort limited. Answer UERY INTERFACE SLf Fuzzy terms definitions SLf results SL query SLf query TRANSLATION MECHANISM SL EVALUATION PROGRAM Fuzzy terms definitions SL Result Fuzzy terms definitions FUZZY TERMS CATALOG Catalog storing REGULAR DATABASE MANAGEMENT SYSTEM Figure 1: Architecture for implementing SLf The translation mechanism generates derived SL statements that are processed by a procedural evaluation program written in a host language, and it also determines the expressions allowing for the computation of the degrees. The program obtained processes the SL queries, computes the membership degrees and calibrates the answer if necessary. 6.2 Algorithm for ueries Evaluation To obtain the tuples of the solution of the fuzzy query just executing the derived query is needed. However, if one want to compute the membership of each element, on must execute an algorithm that processes the result of the derived query. Hereafter, we give the external program, written in a host language that must be used to evaluate a query with an increasing absolute fuzzy quantifier. This program makes the calibration of result in order to avoid extra items in case of weak derivation. The derived query is lightly modified for allowing compute the degrees. Program 1 declare c cursor for SELECT * FROM R WHERE DNC(fc,>=,t) GROUP BY A HAVING count(*)>=n. result:=empty; open c; fetch c into x; while code(c)<> Active Set Empty do begin A:=x.A; sup[0]:= 1; (* At Least None <=> True *) sup[1]:= 0; (* End mark for decreasing list*) while code(c)<>activesetempty and x.a=a do (* Grouping *) begin := f c (x); (* satisfaction degree of fc(x) *) if (>=t) then (* calibration *) DecInsert(,sup); (* sup :fc(x)degrees decreasing list*) fetch c into x; end; Sup := 0; i := n; while (sup[i]<>0) do (* Cuantif.Stat. degree computation *) begin := min ( (i),sup[i]); if >Sup then Sup: =;
8 i:=i+1; end; if (Sup>=t) then (* calibration *) result:=result+{sup/a} (* A is in result with degree Sup *) end; close c; Obviously, the calibration tests can be omitted in case of an strong derivation. We have developed the algorithms for evaluating queries with all kind of quantifiers via the derivation principle. They are very similar to the previous one. We do not present them here by space restriction, see [17] for details. The previous program delivers the SLf result without order. The sorting is not made up due to the semantic of SLf which states that the result of a query is a fuzzy set. However one should want to see the result in satisfaction degree decreasing order of tuples. It can be performed changing in the propram the set variable result by a list and making oredered insertions, or viewing the result with and ordering filter. 6.3 About the Efficiency of the Derivation Principle The derivation principle for quantifiers is strong, we have shown that via equivalences. Only when the derivation of the condition fc under the quantifier is weak, the derived query delivers extra tuples (tuples that ar not in the t-cut of the SLf query solution). The derivation of a fuzzy condition fc is weak only if fc contains means operators. The proportion of additional tuples in this case (which may be seen as an index of efficiency) is examined in [4]. The use of the derivation principle for the evaluation of the query in the example 1 would avoid the degrees calculation for the department 3 and for the employee 78 (4 tuples of 9). It also would avoid the computation membership degrees and minimum for portions 1/3 (2 of 5 calculations). We have developed a prototype of SLf based on the presented strategy and another with the naive strategy (without using the derivation). With these prototypes we are carrying out experimental tests of efficiency. The results of this tests will be presented in future works. We expect to confirm in practice those that we have sustained about the efficiency of the derivation principle. 7 Conclusion In this paper we have dealt with relational database management systems where conventional data (neither imprecise, nor uncertain) are stored, which support fuzzy quantified queries. The semantics and processing of such queries have been discussed. We have presented an interpretation of fuzzy quantifiers that is based in a simple linguistic transformation principle. It is easy to show that the given interpretation is completely suitable for database flexible querying, it satisfies all the postulates given by Lietard[11]. This feature is an advantage over most of the other interpretation that do not satisfy all of these postulates, only the Yager s OWA interpretation [19] satisfies also these constrains. It was not possible to apply the derivation principle to queries using quantifiers with the previous known interpretations. It has been shown that, with this interpretation, it is possible to derive boolean queries, which return a t-cut of the initial fuzzy query. Then, the fuzzy query can be processed on this set thus avoiding the exhaustive scan of the whole database. The major interest of this approach is to take advantage of the implementation techniques available in existing relational DBMS. Other extensions of RDBMS have been made to allow flexible querying, but none of them allows quantified queries. We are making experimentation with a prototype of SLf for showing he efficiency of the presented mechanism. In SLf is also possible to use the fuzzy quantifiers as nesting operators, we think that this kind of queries may also be evaluated via the derivation principle, but it is matter of future research. 8 References [1] P. Bosc, O. Pivert Some approaches for relational databases flexible querying, International Journal of Intelligent Systems, Vol 1, No. 3/4, pp , Feb [2] P. Bosc, O. Pivert SLf: A Relational Database Language for Fuzzy uerying, IEEE Transactions on Fuzzy Systems, Vol 3, No. 1, Feb [3] P. Bosc, O. Pivert, K.Farquhar Integrating Fuzzy ueries into an Existing Database Management System: An Example, International Journal of Intelligent Systems, Vol 9, pp ,1994 [4] P. Bosc, O. Pivert On the efficiency of the alpha-cut distribution method to evaluate simple fuzzy relational queries, Advances in Fuzzy Systems-Applications and Theory, Vol 4, Fuzzy Logic and Soft Computing,
9 B. Bouchon-Meunier, R.R.Yager,L.A. Zadeh eds, Wold Scientific, pp , [5] P. Bosc, L. Liétard, O. Pivert, uantified statements and Database Fuzzy querying, Fuzziness in Database Management Systems, P. Bosc & J. Kacprzyk Eds, Physica Verlag, pp ,1995. [6] P. Bosc, O. Pivert, "SLf query functionality on top of a regular relational DBMS", in: Knowledge Management in Fuzzy Databases, O. Pons, M.A. Vila, and J. Kacprzyk (Eds.), Heidelberg: Physica-Verlag, to appear. [7] Buckles, J.Buckley & F.Petry Architecture of FAME: Fuzzy Address Mapping Environment, Proceedings of 3rd IEEE International Conference on Fuzzy Systems, pp , [8] E. Cox Relational Database ueries using Fuzzy Logic, Artificial Intelligent Expert, pp 23-29, Jan [9] Dubois, H. Prade Fuzzy cardinality and the modeling of imp recise quantification, Fuzzy Sets and Systems, Vol. 16, No. 2, pp , [10]J.Kacpryzyk & S.Zadrozny, Fuzzy ueries in Microsoft AccessTM v.2, Proceedings of Fuzzy IEEE 95 Workshop on Fuzzy Database Systems and Information Retrieval, pp 61-66, [11]L. Lietard Contribution `a Línterrogation Flexible de Bases de Données: étude des propositions quantifiées floues These de Docteur de Lúniversité de Rennes [12]W. Mansfield & R.Fleischman. A High-performance, Ad-hoc, Fuzzy uery Processing System Journal of Intelligent Systems, Vol. 2, pp , [13]H.Nakajima, T.Sogoh, M.Arao Fuzzy Database Language and Library-Fuzzy Extension to SL, Proceedings of Second IEEE International Conference on Fuzzy Systems, pp , [14]H. Prade, A tow-layer fuzzy pattern matching procedure for the evaluation of conditions involving vague quantifiers, Journal of Intelligent and Robotics Systems, No. 3, pp , [15]F. E. Petry Fuzzy Databases Principles and Applications International Series in Intelligent Technologies, Klumer Academic Publishers. [16]D. Ralescu "Cardinality, quantifiers, and the aggregation of fuzzy criteria" Fuzzy Sets and Systems 69, pp [17]L. Tineo, Interrogaciones Flexibles en Bases de Datos Relacionales, Universidad Simón Bolívar, Technical Report, Jan [18]R.R. Yager, General multiple-objetive decision functions and linguistically quantified statements, International Journal of Man-Machine Studies, No. 21, pp , [19]R.R. Yager, Reasoning with fuzzy quantified statements: Part I, Kybernetes, 14, (1985). [20]R.R. Yager, Reasoning with fuzzy quantified statements: Part II, Kybernetes, 15, (1986). [21]R.R. Yager, "Connectives and quantifiers in fuzzay sets" Fuzzy Sets System. 40, (1991). [22]L.A. Zadeh, "A thepry of approximate reasoning" in Machine Intelligence, Vol. 9, J. Hayes, D. Michie, and L. I. Mikulich, Eds., Halstead Press, New York, 1979, pp [23]L.A. Zadeh, A computational approch to fuzzy quantifiers in natural languages, Computer Mathematics with Applications, No. 9, pp , 1983.
A Fuzzy Querying System based on SQLf2 and SQLf3
A Fuzzy Querying System based on SQLf2 and SQLf3 Abstract Juan Eduardo Universidad Simón Bolívar, Departamento de Computación, Apartado 89000, Caracas 1080-A, Venezuela jceduardo@hotmail.com and Marlene
More informationOn Development of Fuzzy Relational Database Applications
On Development of Fuzzy Relational Database Applications Srdjan Skrbic Faculty of Science Trg Dositeja Obradovica 3 21000 Novi Sad Serbia shkrba@uns.ns.ac.yu Aleksandar Takači Faculty of Technology Bulevar
More informationLinguistic Preference Modeling: Foundation Models and New Trends. Extended Abstract
Linguistic Preference Modeling: Foundation Models and New Trends F. Herrera, E. Herrera-Viedma Dept. of Computer Science and Artificial Intelligence University of Granada, 18071 - Granada, Spain e-mail:
More informationTypes of Degrees in Bipolar Fuzzy Graphs
pplied Mathematical Sciences, Vol. 7, 2013, no. 98, 4857-4866 HIKRI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2013.37389 Types of Degrees in Bipolar Fuzzy Graphs Basheer hamed Mohideen Department
More informationNew Architecture of Fuzzy Database Management Systems
The International Arab Journal of Information Technology, Vol. 6, No. 3, July 2009 213 New Architecture of Fuzzy Database Management Systems Amel Grissa Touzi and Mohamed Ali Ben Hassine Faculty of Sciences
More informationLinguistic Summarization Using Data Retrivals
Information Sciences 173 (2005) 281 304 www.elsevier.com/locate/ins Linguistic database summaries and their protoforms: towards natural language based knowledge discovery tools Janusz Kacprzyk a,b, *,
More informationFUZZY CLUSTERING ANALYSIS OF DATA MINING: APPLICATION TO AN ACCIDENT MINING SYSTEM
International Journal of Innovative Computing, Information and Control ICIC International c 0 ISSN 34-48 Volume 8, Number 8, August 0 pp. 4 FUZZY CLUSTERING ANALYSIS OF DATA MINING: APPLICATION TO AN ACCIDENT
More informationVolume 2, Issue 12, December 2014 International Journal of Advance Research in Computer Science and Management Studies
Volume 2, Issue 12, December 2014 International Journal of Advance Research in Computer Science and Management Studies Research Article / Survey Paper / Case Study Available online at: www.ijarcsms.com
More informationA study of cash flows in projects with fuzzy activity durations
icccbe 2010 Nottingham University Press Proceedings of the International Conference on Computing in Civil and Building Engineering W Tizani (Editor) A study of cash flows in projects with fuzzy activity
More informationCHAPTER 7 GENERAL PROOF SYSTEMS
CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes
More informationA FUZZY LOGIC APPROACH FOR SALES FORECASTING
A FUZZY LOGIC APPROACH FOR SALES FORECASTING ABSTRACT Sales forecasting proved to be very important in marketing where managers need to learn from historical data. Many methods have become available for
More informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,
More informationBitmap Index an Efficient Approach to Improve Performance of Data Warehouse Queries
Bitmap Index an Efficient Approach to Improve Performance of Data Warehouse Queries Kale Sarika Prakash 1, P. M. Joe Prathap 2 1 Research Scholar, Department of Computer Science and Engineering, St. Peters
More informationClassification of Fuzzy Data in Database Management System
Classification of Fuzzy Data in Database Management System Deval Popat, Hema Sharda, and David Taniar 2 School of Electrical and Computer Engineering, RMIT University, Melbourne, Australia Phone: +6 3
More informationProduct Selection in Internet Business, A Fuzzy Approach
Product Selection in Internet Business, A Fuzzy Approach Submitted By: Hasan Furqan (241639) Submitted To: Prof. Dr. Eduard Heindl Course: E-Business In Business Consultancy Masters (BCM) Of Hochschule
More informationComputing with Words for Direct Marketing Support System
Computing with Words for Direct Marketing Support System Pakizar Shamoi Atsushi Inoue Department of Computer Science, Kazakh-British Technical University pakita883@gmail.com Abstract This paper highlights
More information2 Associating Facts with Time
TEMPORAL DATABASES Richard Thomas Snodgrass A temporal database (see Temporal Database) contains time-varying data. Time is an important aspect of all real-world phenomena. Events occur at specific points
More informationEMPLOYEE PERFORMANCE APPRAISAL SYSTEM USING FUZZY LOGIC
EMPLOYEE PERFORMANCE APPRAISAL SYSTEM USING FUZZY LOGIC ABSTRACT Adnan Shaout* and Mohamed Khalid Yousif** *The Department of Electrical and Computer Engineering The University of Michigan Dearborn, MI,
More informationIntuitionistic fuzzy load balancing in cloud computing
8 th Int. Workshop on IFSs, Banská Bystrica, 9 Oct. 2012 Notes on Intuitionistic Fuzzy Sets Vol. 18, 2012, No. 4, 19 25 Intuitionistic fuzzy load balancing in cloud computing Marin Marinov European Polytechnical
More informationFuzzy Probability Distributions in Bayesian Analysis
Fuzzy Probability Distributions in Bayesian Analysis Reinhard Viertl and Owat Sunanta Department of Statistics and Probability Theory Vienna University of Technology, Vienna, Austria Corresponding author:
More informationFuzzy-Set Based Information Retrieval for Advanced Help Desk
Fuzzy-Set Based Information Retrieval for Advanced Help Desk Giacomo Piccinelli, Marco Casassa Mont Internet Business Management Department HP Laboratories Bristol HPL-98-65 April, 998 E-mail: [giapicc,mcm]@hplb.hpl.hp.com
More informationGeneral Purpose Database Summarization
Table of Content General Purpose Database Summarization A web service architecture for on-line database summarization Régis Saint-Paul (speaker), Guillaume Raschia, Noureddine Mouaddib LINA - Polytech
More informationDiscernibility Thresholds and Approximate Dependency in Analysis of Decision Tables
Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables Yu-Ru Syau¹, En-Bing Lin²*, Lixing Jia³ ¹Department of Information Management, National Formosa University, Yunlin, 63201,
More informationSEARCHING AND KNOWLEDGE REPRESENTATION. Angel Garrido
Acta Universitatis Apulensis ISSN: 1582-5329 No. 30/2012 pp. 147-152 SEARCHING AND KNOWLEDGE REPRESENTATION Angel Garrido ABSTRACT. The procedures of searching of solutions of problems, in Artificial Intelligence
More informationOptimization of Fuzzy Inventory Models under Fuzzy Demand and Fuzzy Lead Time
Tamsui Oxford Journal of Management Sciences, Vol. 0, No. (-6) Optimization of Fuzzy Inventory Models under Fuzzy Demand and Fuzzy Lead Time Chih-Hsun Hsieh (Received September 9, 00; Revised October,
More informationFORMAL METHOD TO IMPLEMENT FUZZY REQUIREMENTS MÉTODO FORMAL PARA IMPLEMENTAR REQUERIMIENTOS DIFUSOS
FORMAL METHOD TO IMPLEMENT FUZZY REQUIREMENTS MÉTODO FORMAL PARA IMPLEMENTAR REQUERIMIENTOS DIFUSOS MARLENE GONCALVES Ph.D, Universidad Simón Bolívar, Caracas, Venezuela, mgoncalves@usb.ve ROSSELINE RODRÍGUEZ
More informationDegrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets.
Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true
More informationData Validation with OWL Integrity Constraints
Data Validation with OWL Integrity Constraints (Extended Abstract) Evren Sirin Clark & Parsia, LLC, Washington, DC, USA evren@clarkparsia.com Abstract. Data validation is an important part of data integration
More informationFiltering Noisy Contents in Online Social Network by using Rule Based Filtering System
Filtering Noisy Contents in Online Social Network by using Rule Based Filtering System Bala Kumari P 1, Bercelin Rose Mary W 2 and Devi Mareeswari M 3 1, 2, 3 M.TECH / IT, Dr.Sivanthi Aditanar College
More informationSome Research Problems in Uncertainty Theory
Journal of Uncertain Systems Vol.3, No.1, pp.3-10, 2009 Online at: www.jus.org.uk Some Research Problems in Uncertainty Theory aoding Liu Uncertainty Theory Laboratory, Department of Mathematical Sciences
More informationForecasting of Economic Quantities using Fuzzy Autoregressive Model and Fuzzy Neural Network
Forecasting of Economic Quantities using Fuzzy Autoregressive Model and Fuzzy Neural Network Dušan Marček 1 Abstract Most models for the time series of stock prices have centered on autoregressive (AR)
More informationKnowledge Base and Inference Motor for an Automated Management System for developing Expert Systems and Fuzzy Classifiers
Knowledge Base and Inference Motor for an Automated Management System for developing Expert Systems and Fuzzy Classifiers JESÚS SÁNCHEZ, FRANCKLIN RIVAS, JOSE AGUILAR Postgrado en Ingeniería de Control
More informationA Multi-granular Linguistic Model to Evaluate the Suitability of Installing an ERP System
Mathware & Soft Computing 12 (2005) 217-233 A Multi-granular Linguistic Model to Evaluate the Suitability of Installing an ERP System P.J. Sánchez, L.G. Pérez, F. Mata and A.G. López-Herrera, Dept. of
More informationAPPLICATION SCHEMES OF POSSIBILITY THEORY-BASED DEFAULTS
APPLICATION SCHEMES OF POSSIBILITY THEORY-BASED DEFAULTS Churn-Jung Liau Institute of Information Science, Academia Sinica, Taipei 115, Taiwan e-mail : liaucj@iis.sinica.edu.tw Abstract In this paper,
More informationChapter ML:IV. IV. Statistical Learning. Probability Basics Bayes Classification Maximum a-posteriori Hypotheses
Chapter ML:IV IV. Statistical Learning Probability Basics Bayes Classification Maximum a-posteriori Hypotheses ML:IV-1 Statistical Learning STEIN 2005-2015 Area Overview Mathematics Statistics...... Stochastics
More informationExtending Data Processing Capabilities of Relational Database Management Systems.
Extending Data Processing Capabilities of Relational Database Management Systems. Igor Wojnicki University of Missouri St. Louis Department of Mathematics and Computer Science 8001 Natural Bridge Road
More informationThe Import & Export of Data from a Database
The Import & Export of Data from a Database Introduction The aim of these notes is to investigate a conceptually simple model for importing and exporting data into and out of an object-relational database,
More informationFirewall Verification and Redundancy Checking are Equivalent
Firewall Verification and Redundancy Checking are Equivalent H. B. Acharya University of Texas at Austin acharya@cs.utexas.edu M. G. Gouda National Science Foundation University of Texas at Austin mgouda@nsf.gov
More informationKNOWLEDGE FACTORING USING NORMALIZATION THEORY
KNOWLEDGE FACTORING USING NORMALIZATION THEORY J. VANTHIENEN M. SNOECK Katholieke Universiteit Leuven Department of Applied Economic Sciences Dekenstraat 2, 3000 Leuven (Belgium) tel. (+32) 16 28 58 09
More informationQuery Optimization Approach in SQL to prepare Data Sets for Data Mining Analysis
Query Optimization Approach in SQL to prepare Data Sets for Data Mining Analysis Rajesh Reddy Muley 1, Sravani Achanta 2, Prof.S.V.Achutha Rao 3 1 pursuing M.Tech(CSE), Vikas College of Engineering and
More informationPropositional Logic. A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both.
irst Order Logic Propositional Logic A proposition is a declarative sentence (a sentence that declares a fact) that is either true or false, but not both. Are the following sentences propositions? oronto
More informationUPDATES OF LOGIC PROGRAMS
Computing and Informatics, Vol. 20, 2001,????, V 2006-Nov-6 UPDATES OF LOGIC PROGRAMS Ján Šefránek Department of Applied Informatics, Faculty of Mathematics, Physics and Informatics, Comenius University,
More information[Refer Slide Time: 05:10]
Principles of Programming Languages Prof: S. Arun Kumar Department of Computer Science and Engineering Indian Institute of Technology Delhi Lecture no 7 Lecture Title: Syntactic Classes Welcome to lecture
More informationLess naive Bayes spam detection
Less naive Bayes spam detection Hongming Yang Eindhoven University of Technology Dept. EE, Rm PT 3.27, P.O.Box 53, 5600MB Eindhoven The Netherlands. E-mail:h.m.yang@tue.nl also CoSiNe Connectivity Systems
More informationAn Innocent Investigation
An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number
More informationOptimization under fuzzy if-then rules
Optimization under fuzzy if-then rules Christer Carlsson christer.carlsson@abo.fi Robert Fullér rfuller@abo.fi Abstract The aim of this paper is to introduce a novel statement of fuzzy mathematical programming
More informationElena Baralis, Silvia Chiusano Politecnico di Torino. Pag. 1. Query optimization. DBMS Architecture. Query optimizer. Query optimizer.
DBMS Architecture INSTRUCTION OPTIMIZER Database Management Systems MANAGEMENT OF ACCESS METHODS BUFFER MANAGER CONCURRENCY CONTROL RELIABILITY MANAGEMENT Index Files Data Files System Catalog BASE It
More informationProblems often have a certain amount of uncertainty, possibly due to: Incompleteness of information about the environment,
Uncertainty Problems often have a certain amount of uncertainty, possibly due to: Incompleteness of information about the environment, E.g., loss of sensory information such as vision Incorrectness in
More informationFormalization of the CRM: Initial Thoughts
Formalization of the CRM: Initial Thoughts Carlo Meghini Istituto di Scienza e Tecnologie della Informazione Consiglio Nazionale delle Ricerche Pisa CRM SIG Meeting Iraklio, October 1st, 2014 Outline Overture:
More informationA SURVEY ON GENETIC ALGORITHM FOR INTRUSION DETECTION SYSTEM
A SURVEY ON GENETIC ALGORITHM FOR INTRUSION DETECTION SYSTEM MS. DIMPI K PATEL Department of Computer Science and Engineering, Hasmukh Goswami college of Engineering, Ahmedabad, Gujarat ABSTRACT The Internet
More informationUn Nuevo Paso hacia XQuery Flexible. A New Step towards Flexible XQuery
Un Nuevo Paso hacia XQuery Flexible A New Step towards Flexible XQuery Marlene Goncalves, MSc., Leonid Tineo, PhD. Universidad Simón Bolívar, Venezuela {mgoncalves,leonid}@usb.ve Recibido para revisión
More informationA Logic Approach for LTL System Modification
A Logic Approach for LTL System Modification Yulin Ding and Yan Zhang School of Computing & Information Technology University of Western Sydney Kingswood, N.S.W. 1797, Australia email: {yding,yan}@cit.uws.edu.au
More informationHow To Create A Table In Sql 2.5.2.2 (Ahem)
Database Systems Unit 5 Database Implementation: SQL Data Definition Language Learning Goals In this unit you will learn how to transfer a logical data model into a physical database, how to extend or
More informationProject Management Efficiency A Fuzzy Logic Approach
Project Management Efficiency A Fuzzy Logic Approach Vinay Kumar Nassa, Sri Krishan Yadav Abstract Fuzzy logic is a relatively new technique for solving engineering control problems. This technique can
More informationAutomating Software Development Process Using Fuzzy Logic
Automating Software Development Process Using Fuzzy Logic Francesco Marcelloni 1 and Mehmet Aksit 2 1 Dipartimento di Ingegneria dell Informazione, University of Pisa, Via Diotisalvi, 2-56122, Pisa, Italy,
More informationWEB APPLICATION FOR TIMETABLE PLANNING IN THE HIGHER TECHNICAL COLLEGE OF INDUSTRIAL AND TELECOMMUNICATIONS ENGINEERING
WEB APPLICATION FOR TIMETABLE PLANNING IN THE HIGHER TECHNICAL COLLEGE OF INDUSTRIAL AND TELE ENGINEERING Dra. Marta E. Zorrilla Pantaleón Dpto. Applied Mathematics and Computer Science Avda. Los Castros
More informationHandout #1: Mathematical Reasoning
Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or
More informationWhich Semantics for Neighbourhood Semantics?
Which Semantics for Neighbourhood Semantics? Carlos Areces INRIA Nancy, Grand Est, France Diego Figueira INRIA, LSV, ENS Cachan, France Abstract In this article we discuss two alternative proposals for
More informationAnalysis and Usage of Fuzzy Logic for Optimized Evaluation of Database Queries
Analysis and Usage of Fuzzy Logic for Optimized Evaluation of Database Queries Sardar Sathpal Singh Computer Science & Engineering Guru Nanak Engineering College Ibrahimpatnam, R.R. District, Andhra Pradesh.
More informationInternational Journal of Information Technology, Modeling and Computing (IJITMC) Vol.1, No.3,August 2013
FACTORING CRYPTOSYSTEM MODULI WHEN THE CO-FACTORS DIFFERENCE IS BOUNDED Omar Akchiche 1 and Omar Khadir 2 1,2 Laboratory of Mathematics, Cryptography and Mechanics, Fstm, University of Hassan II Mohammedia-Casablanca,
More informationElena Baralis, Silvia Chiusano Politecnico di Torino. Pag. 1. Physical Design. Phases of database design. Physical design: Inputs.
Phases of database design Application requirements Conceptual design Database Management Systems Conceptual schema Logical design ER or UML Physical Design Relational tables Logical schema Physical design
More informationChapter 5 More SQL: Complex Queries, Triggers, Views, and Schema Modification
Chapter 5 More SQL: Complex Queries, Triggers, Views, and Schema Modification Copyright 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 5 Outline More Complex SQL Retrieval Queries
More informationINFORMATION FILTERS SUPPLYING DATA WAREHOUSES WITH BENCHMARKING INFORMATION 1 Witold Abramowicz, 1. 2. 3. 4. 5. 6. 7. 8.
Contents PREFACE FOREWORD xi xiii LIST OF CONTRIBUTORS xv Chapter 1 INFORMATION FILTERS SUPPLYING DATA WAREHOUSES WITH BENCHMARKING INFORMATION 1 Witold Abramowicz, 1 Data Warehouses 2 The HyperSDI System
More informationBounded-width QBF is PSPACE-complete
Bounded-width QBF is PSPACE-complete Albert Atserias 1 and Sergi Oliva 2 1 Universitat Politècnica de Catalunya Barcelona, Spain atserias@lsi.upc.edu 2 Universitat Politècnica de Catalunya Barcelona, Spain
More informationFiles. Files. Files. Files. Files. File Organisation. What s it all about? What s in a file?
Files What s it all about? Information being stored about anything important to the business/individual keeping the files. The simple concepts used in the operation of manual files are often a good guide
More informationCHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs
CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce
More informationSemantic Search in Portals using Ontologies
Semantic Search in Portals using Ontologies Wallace Anacleto Pinheiro Ana Maria de C. Moura Military Institute of Engineering - IME/RJ Department of Computer Engineering - Rio de Janeiro - Brazil [awallace,anamoura]@de9.ime.eb.br
More informationForecasting Stock Prices using a Weightless Neural Network. Nontokozo Mpofu
Forecasting Stock Prices using a Weightless Neural Network Nontokozo Mpofu Abstract In this research work, we propose forecasting stock prices in the stock market industry in Zimbabwe using a Weightless
More informationHorizontal Aggregations In SQL To Generate Data Sets For Data Mining Analysis In An Optimized Manner
24 Horizontal Aggregations In SQL To Generate Data Sets For Data Mining Analysis In An Optimized Manner Rekha S. Nyaykhor M. Tech, Dept. Of CSE, Priyadarshini Bhagwati College of Engineering, Nagpur, India
More information3. Relational Model and Relational Algebra
ECS-165A WQ 11 36 3. Relational Model and Relational Algebra Contents Fundamental Concepts of the Relational Model Integrity Constraints Translation ER schema Relational Database Schema Relational Algebra
More informationFormal Engineering for Industrial Software Development
Shaoying Liu Formal Engineering for Industrial Software Development Using the SOFL Method With 90 Figures and 30 Tables Springer Contents Introduction 1 1.1 Software Life Cycle... 2 1.2 The Problem 4 1.3
More informationHow the Computer Translates. Svetlana Sokolova President and CEO of PROMT, PhD.
Svetlana Sokolova President and CEO of PROMT, PhD. How the Computer Translates Machine translation is a special field of computer application where almost everyone believes that he/she is a specialist.
More informationPartJoin: An Efficient Storage and Query Execution for Data Warehouses
PartJoin: An Efficient Storage and Query Execution for Data Warehouses Ladjel Bellatreche 1, Michel Schneider 2, Mukesh Mohania 3, and Bharat Bhargava 4 1 IMERIR, Perpignan, FRANCE ladjel@imerir.com 2
More informationModelling Complex Patterns by Information Systems
Fundamenta Informaticae 67 (2005) 203 217 203 IOS Press Modelling Complex Patterns by Information Systems Jarosław Stepaniuk Department of Computer Science, Białystok University of Technology Wiejska 45a,
More informationMODIFIED RECONSTRUCTABILITY ANALYSIS FOR MANY-VALUED FUNCTIONS AND RELATIONS
MODIIED RECONSTRUCTABILITY ANALYSIS OR MANY-VALUED UNCTIONS AND RELATIONS Anas N. Al-Rabadi (1), and Martin Zwick (2) (1) ECE Department (2) Systems Science Ph.D. Program @Portland State University [alrabadi@ece.pdx.edu]
More informationDATA MINING PROCESS FOR UNBIASED PERSONNEL ASSESSMENT IN POWER ENGINEERING COMPANY
Medunarodna naucna konferencija MENADŽMENT 2012 International Scientific Conference MANAGEMENT 2012 Mladenovac, Srbija, 20-21. april 2012 Mladenovac, Serbia, 20-21 April, 2012 DATA MINING PROCESS FOR UNBIASED
More informationFuzzy Systems and Neural Networks XML Schemas for Soft Computing
Mathware & Soft Computing 10 (2003) 43-56 Fuzzy Systems and Neural Networks XML Schemas for Soft Computing A.R. de Soto, C.A. Capdevila and E.C. Fernández Escuela de Ingenierías Industrial e Informática
More informationON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS
Bulletin of the Section of Logic Volume 15/2 (1986), pp. 72 79 reedition 2005 [original edition, pp. 72 84] Ryszard Ladniak ON THE DEGREE OF MAXIMALITY OF DEFINITIONALLY COMPLETE LOGICS The following definition
More informationData Quality in Information Integration and Business Intelligence
Data Quality in Information Integration and Business Intelligence Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada : Faculty Fellow of the IBM Center for Advanced Studies
More informationTECHNIQUES FOR OPTIMIZING THE RELATIONSHIP BETWEEN DATA STORAGE SPACE AND DATA RETRIEVAL TIME FOR LARGE DATABASES
Techniques For Optimizing The Relationship Between Data Storage Space And Data Retrieval Time For Large Databases TECHNIQUES FOR OPTIMIZING THE RELATIONSHIP BETWEEN DATA STORAGE SPACE AND DATA RETRIEVAL
More informationProSQL: A Prototyping Tool for SQL Temporal Language Extensions
ProSQL: A Prototyping Tool for SQL Temporal Language Extensions James Green, Roger Johnson School of Computer Science, Birkbeck, University of London, Malet Street, London WC1E 7HX, UK. JamesGreen@liberata.com,
More informationJUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS. Received December May 12, 2003; revised February 5, 2004
Scientiae Mathematicae Japonicae Online, Vol. 10, (2004), 431 437 431 JUST-IN-TIME SCHEDULING WITH PERIODIC TIME SLOTS Ondřej Čepeka and Shao Chin Sung b Received December May 12, 2003; revised February
More informationAn Approach to Fuzzy Database Querying, Analysis and Realisation
UDC 004.4 2, DOI: 10.2298/csis0902127H An Approach to Fuzzy Database Querying, Analysis and Realisation Miroslav Hudec INFOSTAT - Institute of Informatics and Statistics, Bratislava, Slovakia hudec@infostat.sk
More informationKeywords Evaluation Parameters, Employee Evaluation, Fuzzy Logic, Weight Matrix
Volume 4, Issue 1, January 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com A Linguistic
More informationDataset Preparation and Indexing for Data Mining Analysis Using Horizontal Aggregations
Dataset Preparation and Indexing for Data Mining Analysis Using Horizontal Aggregations Binomol George, Ambily Balaram Abstract To analyze data efficiently, data mining systems are widely using datasets
More informationPredicate logic Proofs Artificial intelligence. Predicate logic. SET07106 Mathematics for Software Engineering
Predicate logic SET07106 Mathematics for Software Engineering School of Computing Edinburgh Napier University Module Leader: Uta Priss 2010 Copyright Edinburgh Napier University Predicate logic Slide 1/24
More informationOverview. Physical Database Design. Modern Database Management McFadden/Hoffer Chapter 7. Database Management Systems Ramakrishnan Chapter 16
HNC Computing - s HNC Computing - s Physical Overview Process What techniques are available for physical design? Physical Explain one physical design technique. Modern Management McFadden/Hoffer Chapter
More informationInclusion degree: a perspective on measures for rough set data analysis
Information Sciences 141 (2002) 227 236 www.elsevier.com/locate/ins Inclusion degree: a perspective on measures for rough set data analysis Z.B. Xu a, *, J.Y. Liang a,1, C.Y. Dang b, K.S. Chin b a Faculty
More informationOn the general structure of ontologies of instructional models
On the general structure of ontologies of instructional models Miguel-Angel Sicilia Information Engineering Research Unit Computer Science Dept., University of Alcalá Ctra. Barcelona km. 33.6 28871 Alcalá
More informationFuzzy regression model with fuzzy input and output data for manpower forecasting
Fuzzy Sets and Systems 9 (200) 205 23 www.elsevier.com/locate/fss Fuzzy regression model with fuzzy input and output data for manpower forecasting Hong Tau Lee, Sheu Hua Chen Department of Industrial Engineering
More informationCSC384 Intro to Artificial Intelligence
CSC384 Intro to Artificial Intelligence What is Artificial Intelligence? What is Intelligence? Are these Intelligent? CSC384, University of Toronto 3 What is Intelligence? Webster says: The capacity to
More informationEFFICIENT KNOWLEDGE BASE MANAGEMENT IN DCSP
EFFICIENT KNOWLEDGE BASE MANAGEMENT IN DCSP Hong Jiang Mathematics & Computer Science Department, Benedict College, USA jiangh@benedict.edu ABSTRACT DCSP (Distributed Constraint Satisfaction Problem) has
More informationPh. D. thesis summary. by Aleksandra Rutkowska, M. Sc. Stock portfolio optimization in the light of Liu s credibility theory
Ph. D. thesis summary by Aleksandra Rutkowska, M. Sc. Stock portfolio optimization in the light of Liu s credibility theory The thesis concentrates on the concept of stock portfolio optimization in the
More informationInternational Journal of Scientific & Engineering Research, Volume 4, Issue 11, November-2013 5 ISSN 2229-5518
International Journal of Scientific & Engineering Research, Volume 4, Issue 11, November-2013 5 INTELLIGENT MULTIDIMENSIONAL DATABASE INTERFACE Mona Gharib Mohamed Reda Zahraa E. Mohamed Faculty of Science,
More informationFrom Logic to Montague Grammar: Some Formal and Conceptual Foundations of Semantic Theory
From Logic to Montague Grammar: Some Formal and Conceptual Foundations of Semantic Theory Syllabus Linguistics 720 Tuesday, Thursday 2:30 3:45 Room: Dickinson 110 Course Instructor: Seth Cable Course Mentor:
More informationTowards Rule-based System for the Assembly of 3D Bricks
Universal Journal of Communications and Network 3(4): 77-81, 2015 DOI: 10.13189/ujcn.2015.030401 http://www.hrpub.org Towards Rule-based System for the Assembly of 3D Bricks Sanguk Noh School of Computer
More informationProgramming Risk Assessment Models for Online Security Evaluation Systems
Programming Risk Assessment Models for Online Security Evaluation Systems Ajith Abraham 1, Crina Grosan 12, Vaclav Snasel 13 1 Machine Intelligence Research Labs, MIR Labs, http://www.mirlabs.org 2 Babes-Bolyai
More informationIntroduction to tuple calculus Tore Risch 2011-02-03
Introduction to tuple calculus Tore Risch 2011-02-03 The relational data model is based on considering normalized tables as mathematical relationships. Powerful query languages can be defined over such
More informationChapter 7. Sealed-bid Auctions
Chapter 7 Sealed-bid Auctions An auction is a procedure used for selling and buying items by offering them up for bid. Auctions are often used to sell objects that have a variable price (for example oil)
More informationObject-Relational Database Based Category Data Model for Natural Language Interface to Database
Object-Relational Database Based Category Data Model for Natural Language Interface to Database Avinash J. Agrawal Shri Ramdeobaba Kamla Nehru Engineering College Nagpur-440013 (INDIA) Ph. No. 91+ 9422830245
More information