Logic-Mathematical Apparatus of Data Processing Used in Information Technology of Web-Portal Development Svitlana Bevz Vinnytsia National Technical University, Vinnytsia, Ukraine [email protected]Abstract. The paper suggests the improved logic mathematical apparatus, used for development of computer systems, the given apparatus enables to unify the description of information models and determine the existing links between da- tabases tables. Models, serving as the base for information technology of auto- mated web-portal design, have been developed, using the given apparatus. The creation of the structure and algorithm of information technology for automated data processing has been performed. Keywords: information models; logic-mathematical apparatus; information technology; web-portal. 1. Introduction Today automated data processing is one of the most important tasks in information technology (IT) industry. There exists quite a good number of IT for solution of the problems, dealing with the data processing in information systems (IS) [1-3]. However, data management in IS with geographically-distributed structure is quite time-consum- ing task and requires a specialized approach to provide the integration of information space of complex hierarchical computer system subjects. For monitoring, managing, processing and analysis of IS data various models, meth- ods and modeling tools are used [4-8]. Wide functionality and classification of sepa- rately taken methodologies, however, does not allow to solve the complex of problems of data consolidation on the Web portal, in particular, formation of hierarchical struc- tures, created using specific methods, for example containing recursion for monitoring of catalogs and elements or groups and subgroups of users. To unify and extend the functionality of the existing methods in [9], the author of this article offered a logical mathematical apparatus for data processing, which enables to automate the process of information systems design by means of models transfor- mation in the user interface of Web portal. The task of the development of IT for pro- cessing of data of Web Portal hierarchy structure requires extending of functionality area and application of prior developed logic-mathematical apparatus. Taking into account current trends of web-based information technologies develop- ment [10, 11], for testing and promotion of research results of Masters, Postgraduates, 117
13
Embed
Logic -Mathematical A pparatus of D ata P rocessing U sed in ...ceur-ws.org/Vol-1197/paper18.pdfLogic -Mathematical A pparatus of D ata P rocessing U sed in Information T echnology
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Logic-Mathematical Apparatus of Data Processing Used in
Information Technology of Web-Portal Development
Svitlana Bevz
Vinnytsia National Technical University, Vinnytsia, Ukraine [email protected]
Abstract. The paper suggests the improved logic mathematical apparatus, used
for development of computer systems, the given apparatus enables to unify the
description of information models and determine the existing links between da-
tabases tables. Models, serving as the base for information technology of auto-
mated web-portal design, have been developed, using the given apparatus. The
creation of the structure and algorithm of information technology for automated
data processing has been performed.
Keywords: information models; logic-mathematical apparatus; information
technology; web-portal.
1. Introduction
Today automated data processing is one of the most important tasks in information
technology (IT) industry. There exists quite a good number of IT for solution of the
problems, dealing with the data processing in information systems (IS) [1-3]. However,
data management in IS with geographically-distributed structure is quite time-consum-
ing task and requires a specialized approach to provide the integration of information
space of complex hierarchical computer system subjects.
For monitoring, managing, processing and analysis of IS data various models, meth-
ods and modeling tools are used [4-8]. Wide functionality and classification of sepa-
rately taken methodologies, however, does not allow to solve the complex of problems
of data consolidation on the Web portal, in particular, formation of hierarchical struc-
tures, created using specific methods, for example containing recursion for monitoring
of catalogs and elements or groups and subgroups of users.
To unify and extend the functionality of the existing methods in [9], the author of
this article offered a logical mathematical apparatus for data processing, which enables
to automate the process of information systems design by means of models transfor-
mation in the user interface of Web portal. The task of the development of IT for pro-
cessing of data of Web Portal hierarchy structure requires extending of functionality
area and application of prior developed logic-mathematical apparatus.
Taking into account current trends of web-based information technologies develop-
ment [10, 11], for testing and promotion of research results of Masters, Postgraduates,
117
applicants for the scientific degrees and young scientists the Institute of Graduate, Post-
graduate and Doctoral Studies (InGPDS) of Vinnytsia National Technical University
(VNTU) developed a young scientists web-portal as an interactive environment, ori-
ented to the filling of online resources of virtual scientific-educational space.
Solution of urgent problem of information technology development, intended for
processing of young scientists portal data, requires the usage of logic-mathematical
models for automation and unification of data management methodology.
The aim of research is to increase operation efficiency of information system used
for monitoring, data analysis and processing. The object of the research is information
technology of automated processing data at young scientists portal. The subject of re-
search are logic-mathematical models of web portal data processing.
To achieve this aim the following problems should be solved:
– improvement of the logic -mathematical apparatus of data processing;
– construction of information model of web portal data set ;
– development of logic-mathematical models for analysis and processing of the por-
tal elements data;
- development of the information technology architecture for web portal data pro-
cessing;
- development and introduction of information technology software in higher es-
tablishments.
2. Logic-mathematical apparatus of automated data processing
In the process of web portal operation its information content is constantly updated
and refreshed by the user, new problems arise, they often require non-trivial approaches
to their solution, for instance, change of data structure in the process of system operat-
ing, change of user interface, change of design patterns. In order to consolidate the
information and data processing and for the solution of the above-mentioned problems,
the usage and further development of logic-mathematical apparatus developed in [9] is
suggested.
Table 1 presents twelve information models for the automation of data processing,
with the description of their components.
118
Table 1. Information models of data processing, designation of operations and
symbols
№
пп
Model Designation Description
1 nAAAD ,,1
nkAAk ,1, –
attributes of table A
Projection of table A
2 AhAD
Ah – logic condi-
tion using attributes of
table A
Sample of table A
3 BBAqAD ,
BAq , – logic con-
dition of tables A and
B consolidation
Rigid union of tables
A and B
4 BBAqAD ,
BAq , – logic
condition of tables A
and B external consoli-
dation
External unification of
tables A and B (each
record of table B is
united with the record
set of relation A ).
5
m
n
GfGf
AAAD
,,
,,,
1
1
iGf – function of
aggregate attributes us-
age
The use of agregate
functions ( avg , sum ,
count , max , min –
functions of mean, to-
tal, quantity, maximum
and minimum value).
6 PAhAPPDPn ,,,1
PnPPP ,,1 –pa-
rameters of the model;
PAh , – logic con-
dition for A and P
Model of parameters
use
7 ;',
,,1
BAw
AAAD n
ABhBfBB m ,'
'B – model of nested
query; ', BAw –
condition with a nested
query
Model of nested query
use in the condition
8 ',,,1 BAAAD n
'B – model of nested
query
Model of nested query
use in the attributes
9
XZR
ZPBhBB
XBZ
PAhAPPDPn
;,,'
;}'{
,,,1
'B – projection of ta-
ble; }'{ BZ – inter-
nal model;
X – result of internal
model; ZPBh ,, –
condition of the re-
trieve from the set B
and parameters P
Model of parameters
transfer from internal
model
119
Model of parameters usage in the nested request and recursion model, used in com-
puter system for automatic processing of hierarchical data structures, traditionally
found IS of web-portals are added to ten models, developed before [9].
Therefore, logic-mathematical apparatus has been improved and supplemented by
two new models. The construction of information models of automated data processing
of the computer systems in particular – young scientists web-portal is realized using the
suggested logical-mathematical apparatus.
10
21'
,,},,
',,'{
,,
1
1
1
BBB
B
P
nnn
n
n
BBBB
PPB
PPD
PnPPP ,,1 – set
of parameters;
BnBBB ,,1 –
the result of the nested
model
Model of parameters
use in nested query
11
nmrASAArG
mkAAGA
nmkj
SAA
AHAS
SAAAAS
AH
AfAf
AHAHAD
kmk
S
k
kjkm
kkk
kk
nm
mm
,1,,
;,1,,
;1,1;
;
;
;,
;,,
,,,
0
1
11
sij njAS ,1, –
function of ordinal sort-
ing of attributes;
ii AAS 0 – function
of attributes usage
without sorting
Model of data sorting
and grouping
12 kk BsumBBB
BCgChCrecD
...,,
,
1
Ch – initial recur-
sion condition,
BCg , – condition
of subsequent element
of recursion ,
B – the internal query
of recursion ;
kBsum –summa-
tion of recursive que-
ries results by attribute
kB
Model of recursion
120
3. Informational model of data set
The basis of young scientists web-portal, as in any automated web-based system is
a database. Software orientation of web portal, which is integrated in the unified auto-
mated information system of document management and monitoring of educational
process of Masters’ training [3], provides information and analytical possibilities of
modern web-based system with distributed structure and uses the database of the exist-
ing system.
Data bank structure of young scientists’ portal in rather simplified form is shown in
Fig.1. It contains four main units: users, directories and elements, models and relation-
ships, characteristics of the interface. Module of models and relationships plays a key
role in managing portal objects and subjects.
The diagram contains designations of tables and their attributes. They will be used
for construction of logic-mathematical models for portal data processing.
4. Logic-mathematical models of information technology
Let us consider practical application of logical-mathematical apparatus, models of
which are presented in Table 1. We will construct information models of data man-
agement and processing for young scientists portal.
Portal authorization is performed during user identification by means of login Xlo
and password Xps using model of projection and retrieval:
Xid = U[Uid] ((Ulo = Xlo) ˄ (Ups = Xps)). (1)
In case of a successful identification (Xid > 0) information system (IS) determines
the user code Xid. Guest login (Xid = 0) restricts the rights of portal users.
Users belonging to the administrators group (Gid =4) is represented by the model
using agregate function to calculate the number of tuples:
Xadm = G <Gid=Agr>A [count(Gid)] ((Gid =4) ˄ (Aus=Xid)), (2)
which determines the parameter of the system Xadm, computing the amount of set A
records of target groups and portal user code portal. Similarly user identification of
belonging to other groups of the portal members is performed.
121
Fig. 1. Databank of young scientists’ portal
Since each element and the catalogs, descriptions of which are stored in the set С,
may refer simultaneously to several users of the portal, then we write the model of all
elements and catalogs of the portal E, which is formed by the union of the sets of cata-
logs and elements C and interlinks with users L by means of the model of rigid combi-
nation:
E = C < ( Cid=Lca) > L. (3)
Provisional table of catalogs and their elements is formed on request of guest view-
ing of Vg, confirmed by data administrator using sample model combination:
Vg=C (Cac =1). (4)
Catalog (C)
ID (Cid)
Caption (Cca)
Type (Cty)
Image (Cim)
File (Cfi)
Parent (Cpa)
Mconfirm (Cmc)
Aconfirm (Cac)
Models (M)
ID (Mid)
Catalog_id (Mca)
Title (Mti)
Model (Mmo)
Account (A)
ID (Aid)
Group_id (Agr)
User_id (Aus)
Group (G)
ID (Gid)
Name (Gna)
Image (Gim)
Parent (Gpa)
Theme (T)
ID (Tid)
Name (Tna)
Color (Tco)
User (U)
ID (Uid)
Theme_id (Uth)
Login (Ulo)
Surname (Usu)
Name (Una)
Password (Ups)
Image (Uim)
Unit 1
File (F)
ID (Fid)
Name (Fna)
Catalog_id (Fca)
Title (Fti)
Unit 2
Link (L)
User_id (Lus)
Catalog_id (Lca)
ID (Lid)
Unit 3
Characteristic(H)
ID (Tid)
Theme_id (Uth)
Name (Tna)
Description (Tde)
Unit 4
Rate (R) ID (Rid)
Catalog_id(Rca)
Rate (Rra)
122
Revision of user's information portal Vu displays personal elements and catalogs,
published by him on a Web page, as well as data objects, confirmed by administrator,
as the union of data sample models:
Vu =E((Eus=Xid) ˄ (Eac=0)) ˅ C(Сac =1). (5)
Administrators display all the elements and catalogs Va, which are confirmed by
the participant of the portal – author of information objects, according to the sample
model:
Va=С (Сmc =1). (6)
Information regarding catalogs and elements of the portal is expedient to store in
one relation table of database. Tuples of their data differ by attribute Сty, which equals
1 for the catalogs, and for elements – 2. Number of subsidiary elements Vk for display