Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investigated, with the emphasis on linear recursions with function symbols. Constraints are classified into three classes: (i) rule constraints, (ii) integrity constraints, and (iii) query constraints. Techniques are developed fo...

This study is concerned to check the validity and applicability of a five parameter viscoelastic model for harmonic wave propagating in the non-homogeneous viscoelastic rods of varying density. The constitutive relation for five parameter model is first developed and validity of these relations is checked. The non-homogeneous viscoelastic rods are assumed to be initially unstressed and at rest....

In this paper, the non-Fourier heat conduction in a semi-infinite body was examined. The heat wave non-Fourier heat conduction model was used for thermal analysis. Thermal conductivity was assumed temperature-dependent which resulted in a non-linear equation. The heat source was also considered temperature-dependent which resulted in a non-homogeneous equation. The Mac-Cormack predictor-correct...

To evaluate the earth seismic response due to earthquake effects, ground response analyses are used to predict ground surface motions for development of design response spectra, to compute dynamic stresses and strains for evaluation of liquefaction hazards, and to determine the earthquake induced forces that can lead to instability of earth and earth-retaining structures. Most of the analytical...

We provide an algebraic description of subtypes and the way they propagate through recursive functions. By abstracting from the concrete domain of functions or relations we obtain a framework which is independent of strict or non-strict, deterministic or non-deterministic semantics. Applications include efficiency increasing simplification of recursions as well as proofs about recursions by noe...

we prove the generalized hyers--ulam stability  of n--th order linear differential equation of the form $y^{(n)}+p_{1}(x)y^{(n-1)}+ cdots+p_{n-1}(x)y^{prime}+p_{n}(x)y=f(x)$, with condition that there exists a non--zero solution of corresponding homogeneous equation. our main results extend and improve the corresponding results obtained by many authors.