We consider the problems of finding and determining certain query answers and of determining containment between queries; each problem is formulated in presence of materialized views and dependencies under the closed-world assumption. We show a tight
relationship between the problems in this setting. Further, we introduce algorithms for solving each problem for those inputs where all the queries and views are conjunctive, and the dependencies are embedded weakly acyclic. We also determine the complexity of each problem under the security-relevant complexity measure introduced by Zhang and Mendelzon in 2005. The problems studied in this paper are fundamental in ensuring correct specification of database access-control policies, in particular in case of fine-grained access control. Our approaches can also be applied in the areas of inference control, secure data publishing, and database auditing.
We extend the non-Markovian quantum state diffusion (QSD) equation to open quantum systems which exhibit multi-channel coupling to a harmonic oscillator reservoir. Open quantum systems which have multi-channel reservoir coupling are those in which ca
nonical transformation of reservoir modes cannot reduce the number of reservoir operators appearing in the interaction Hamiltonian to one. We show that the non-Markovian QSD equation for multi-channel reservoir coupling can, in some cases, lead to an exact master equation which we derive. We then derive the exact master equation for the three-level system in a vee-type configuration which has multi-channel reservoir coupling and give the analytical solution. Finally, we examine the evolution of the three-level vee-type system with generalized Ornstein-Uhlenbeck reservoir correlations numerically.
Large scale synthesis of single layer graphene (SLG) by chemical vapor deposition (CVD) has received a lot of attention recently. However, CVD synthesis of AB stacked bi-layer graphene (BLG) is still a challenging work. Here we report synthesis of BL
G homogeneously in large area by thermal CVD. The 2D Raman band of CVD BLG splits into four components, suggesting splitting of electronic bands due to strong interlayer coupling. The splitting of electronic bands in CVD BLG is further evidenced by the study of near infrared (NIR) absorption and carrier dynamics probed by transient absorption spectroscopy. Ultraviolet photoelectron spectroscopy invesigation also indiates CVD BLG possesses different electronic structures from those of CVD SLG. The growth mechanism of BLG is found to be related to catalystic activity of copper (Cu)surface, which is determined by purity of Cu foils employed in CVD process. Our work showsthat strongly coupled or even AB stacked BLG can be grown on Cu foils in large scale, which isof particular importance for device applications based on their split electronic bands
